distributor之SGI Clear/Set Pending Register

（1）SGI Clear-Pending Registers,  顾名思义，就是清除SGI中断的寄存器，每个中断对应操作的寄存器比特位计算方法为：

          for SGI ID x, generated by CPU C writing to its GICD_SGIR, when DIV and MOD are the integer division andmodulo operations: 

          1）the corresponding GICD_CPENDSGIR register number, n, is given by n = x DIV 4

          2）the offset of the required GICD_CPENDSGIR is (0xF10 + (4*n));
          3）the SGI Clear-pending field offset, y, is given by y = x MOD 4
          4）the required bit in the SGI x Clear-pending field is bit C. 

（2）与SGI Clear-Pending Registers相对应，SGI Set-Pending Register是产生SGI的寄存器，每个中断对应操作的寄存器比特位计算方法为：

          For SGI ID x, generated by CPU C writing to its GICD_SGIR, when DIV and MOD are the integer division andmodulo operations: 

          1）he corresponding GICD_SPENDSGIR register number, n, is given by n = x DIV 4

          2）the offset of the required GICD_SPENDSGIR is (0xF20 + (4*n))
          3）the SGI Set-pending field offset, y, is given by y = x MOD 4
          4）the required bit in the SGI x Set-pending field is bit C.