中断分组

GICD_CTLR：配置是否支持group0、安全group1、非安全group1中断；
怎么配置中断在哪个组；
怎么知道中断是安全的还是非安全的；
GICD_IGROUPR：

• 配置中断分组、中断是安全还是非安全；

4.4 软件产生中断

只支持边沿触发，支持group0和group；
ICC_SGI1R_EL1：

• 这个寄存器在当前安全等级产生group1的中断；
• 中断可以给除了自己以外的所有PE；
• targetlist：中断可以给指定的PE；
• INTID：指定中断号：0~15
• affx：表示CPU属性层次，如下图：
  ICC_ASGI1R_EL1：
• 非当前安全等级产生group1中断；
  ICC_SGI0R_EL1：
• 产生group0中断；