一、中断状态
对于每一个中断而言，有以下4个状态：
inactive：中断处于无效状态
pending：中断处于有效状态，但是cpu没有响应该中断
active：cpu在响应该中断
active and pending：cpu在响应该中断，但是该中断源又发送中断过来
以下是中断状态的转移图。至于图中的转移条件，在gic架构文档中，有介绍。
二、中断触发方式
中断触发方式，包含以下两种方式：
edge-triggered: 边沿触发，当中断源产生一个边沿，中断有效
level-sensitive：电平触发，当中断源为指定电平，中断有效
三、中断类型
中断类型分为以下几类：
SGI(software-generated interrupts)软件产生的中断，主要用于核间交互，内核中的IPI，inter-processor interrupts就是基于SGI的，中断号ID0 - ID15用于SGI。内核中的 IPI:inter-processor interrupts 就是基于 SGI
PPI：（private peripheral interrupt），私有外设中断，该中断来源于外设，但是该中断只对指定的core有效。
SPI：（shared peripheral interrupt），共享外设中
