GICD_REG_SGIR
fGicdRegs[GICD_REG_SGIR] = (cpuSet.Bits(0) << 16);
fGicdRegs[GICD_REG_SGIR] = (0b01 << 24);