X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;ds=sidebyside;f=Modules%2Farmv7%2FGIC%2Fgic.c;fp=Modules%2Farmv7%2FGIC%2Fgic.c;h=9eb720fdb7ffb21f5b347c1201652ce14c5e94ad;hb=f2b028da3f30912fd083c3597efa645e8b80534a;hp=21c3a30f96d1a07e93a12bcb0c3dfe7bd8cdb756;hpb=5adfb5a3f20b27ff59c7122872a2851551f2e714;p=tpg%2Facess2.git

diff --git a/Modules/armv7/GIC/gic.c b/Modules/armv7/GIC/gic.c
index 21c3a30f..9eb720fd 100644
--- a/Modules/armv7/GIC/gic.c
+++ b/Modules/armv7/GIC/gic.c
@@ -41,7 +41,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