diff options
Diffstat (limited to 'src/dev/arm/Gic.py')
| -rw-r--r-- | src/dev/arm/Gic.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dev/arm/Gic.py b/src/dev/arm/Gic.py index 29535e4e9..014d4dfe4 100644 --- a/src/dev/arm/Gic.py +++ b/src/dev/arm/Gic.py @@ -128,7 +128,7 @@ class VGic(PioDevice): hv_addr = Param.Addr(0, "Address for hv control") pio_delay = Param.Latency('10ns', "Delay for PIO r/w") # The number of list registers is not currently configurable at runtime. - ppint = Param.UInt32("HV maintenance interrupt number") + maint_int = Param.UInt32("HV maintenance interrupt number") # gicv_iidr same as gicc_idr gicv_iidr = Param.UInt32(Self.gic.gicc_iidr, @@ -156,7 +156,7 @@ class VGic(PioDevice): node.append(FdtPropertyWords("reg", regs)) node.append(FdtPropertyWords("interrupts", - [1, int(self.ppint)-16, 0xf04])) + [1, int(self.maint_int)-16, 0xf04])) node.appendPhandle(gic) |