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 21c3a30..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