diff --git a/src/dev/arm/RealView.py b/src/dev/arm/RealView.py
index 60b6780..837f798 100644
--- a/src/dev/arm/RealView.py
+++ b/src/dev/arm/RealView.py
@@ -1052,7 +1052,7 @@
        0x2b000000-0x2b00ffff: HDLCD
 
        0x2c001000-0x2c001fff: GIC (distributor)
-       0x2c002000-0x2c0020ff: GIC (CPU interface)
+       0x2c002000-0x2c003fff: GIC (CPU interface)
        0x2c004000-0x2c005fff: vGIC (HV)
        0x2c006000-0x2c007fff: vGIC (VCPU)
        0x2c1c0000-0x2c1cffff: GICv2m MSI frame 0
diff --git a/src/dev/arm/gic_pl390.hh b/src/dev/arm/gic_pl390.hh
index b4e880b..7fd4bcb 100644
--- a/src/dev/arm/gic_pl390.hh
+++ b/src/dev/arm/gic_pl390.hh
@@ -72,7 +72,7 @@
         GICD_PIDR2         = 0xfe8, // distributor peripheral ID2
         GICD_PIDR3         = 0xfec, // distributor peripheral ID3
 
-        DIST_SIZE          = 0xfff
+        DIST_SIZE          = 0x1000,
     };
 
     /**
@@ -111,7 +111,7 @@
         GICC_APR3  = 0xdc, // active priority register 3
         GICC_IIDR  = 0xfc, // cpu interface id register
 
-        CPU_SIZE   = 0xff
+        CPU_SIZE   = 0x2000,
     };
 
     static const int SGI_MAX = 16;  // Number of Software Gen Interrupts