diff options
Diffstat (limited to 'src/dev/arm/Gic.py')
| -rw-r--r-- | src/dev/arm/Gic.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/dev/arm/Gic.py b/src/dev/arm/Gic.py index 014d4dfe4..6f7c8d973 100644 --- a/src/dev/arm/Gic.py +++ b/src/dev/arm/Gic.py @@ -173,3 +173,8 @@ class Gicv3(BaseGic): "Delay for PIO r/w to redistributors") it_lines = Param.UInt32(1020, "Number of interrupt lines supported (max = 1020)") + + maint_int = Param.ArmInterruptPin( + "HV maintenance interrupt." + "ARM strongly recommends that maintenance interrupts " + "are configured to use INTID 25 (PPI Interrupt).") |