+#if 0
+ for( int i = 0; i < N_IRQS/32; i ++ ) {
+ Log_Debug("GIC", "GICD_ISENABLER%i %x = %08x",
+ i, GICD_ISENABLER0 + i,
+ gpGIC_DistributorBase[GICD_ISENABLER0+i]);
+ gpGIC_DistributorBase[GICD_ISENABLER0+i] = 0;
+ }
+#endif
+
+ #if 0
+ // Testing - First 32 actual interrupts enabled
+ gpGIC_DistributorBase[GICD_ISENABLER0+1] = 0xFFFFFFFF;
+ for( int i = 0; i < 32/4; i ++ )
+ gpGIC_DistributorBase[GICD_ITARGETSR0+8+i] = 0x01010101;
+ #endif
+
+ // Clear out pending IRQs.
+ gpGIC_InterfaceBase[GICC_EOIR] = gpGIC_InterfaceBase[GICC_IAR];
+