Build - Restructured configuration

[tpg/acess2.git] / Modules / armv7 / GIC / gic.c

diff --git a/Modules/armv7/GIC/gic.c b/Modules/armv7/GIC/gic.c
index 4ace400..8dbab3a 100644 (file)
--- a/Modules/armv7/GIC/gic.c
+++ b/Modules/armv7/GIC/gic.c
@@ -10,6 +10,7 @@
 #include <acess.h>
 #include <modules.h>
 #include "gic.h"
+#include <options.h>
 
 #define N_IRQS 1024
 
@@ -41,7 +42,9 @@ int GIC_Install(char **Arguments)
 
        // Initialise
        gpGIC_InterfaceBase = (void*)MM_MapHWPages(gGIC_InterfaceAddr, 1);
+       LOG("gpGIC_InterfaceBase = %p", gpGIC_InterfaceBase);
        gpGIC_DistributorBase = (void*)MM_MapHWPages(gGIC_DistributorAddr, 1);
+       LOG("gpGIC_DistributorBase = %p", gpGIC_DistributorBase);
 
        gpGIC_InterfaceBase[GICC_PMR] = 0xFF;   
        gpGIC_InterfaceBase[GICC_CTLR] = 1;     // Enable CPU
@@ -57,7 +60,7 @@ int GIC_Install(char **Arguments)
 void GIC_IRQHandler(void)
 {
        Uint32  num = gpGIC_InterfaceBase[GICC_IAR];
-       Log_Debug("GIC", "IRQ 0x%x", num);
+//     Log_Debug("GIC", "IRQ 0x%x", num);
        gaIRQ_Handlers[num]( num, gaIRQ_HandlerData[num] );
        gpGIC_InterfaceBase[GICC_EOIR] = num;
 }