LOG("IRQ = %i", IRQ);
IRQ += 32; // 32 internal IRQs
LOG("IRQ = %i (after adjust)", IRQ);
LOG("mask = 0x%x", 1 << (IRQ & (31-1)));
gpGIC_DistributorBase[GICD_ISENABLER0+IRQ/32] = 1 << (IRQ & (32-1));
((Uint8*)&gpGIC_DistributorBase[GICD_ITARGETSR0])[IRQ] = 1;
LOG("IRQ = %i", IRQ);
IRQ += 32; // 32 internal IRQs
LOG("IRQ = %i (after adjust)", IRQ);
LOG("mask = 0x%x", 1 << (IRQ & (31-1)));
gpGIC_DistributorBase[GICD_ISENABLER0+IRQ/32] = 1 << (IRQ & (32-1));
((Uint8*)&gpGIC_DistributorBase[GICD_ITARGETSR0])[IRQ] = 1;