中断状态机
对于GIC-V2，中断状态机由Distributor维护，每个中断都有一个状态机。
Inactive：中断未激活（未发生）。
Pending：中断到达GIC，正在等待CPU处理。
Active：CPU响应中断并由CPU处理。
活动且待处理：CPU 正在处理中断，并且该中断再次到来。
让我们看一个例子：
