GICD_REG_ICENABLER
fGicdRegs[GICD_REG_ICENABLER + irq / 32] = 1 << (irq % 32);
fGicdRegs[GICD_REG_ICENABLER] = 0xffffffff;
fGicdRegs[GICD_REG_ICENABLER+1] = 0xffffffff;