diff options
Diffstat (limited to 'src/dev/arm/gic_v3_cpu_interface.cc')
-rw-r--r-- | src/dev/arm/gic_v3_cpu_interface.cc | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/dev/arm/gic_v3_cpu_interface.cc b/src/dev/arm/gic_v3_cpu_interface.cc index 8cbc77a0b..577442efa 100644 --- a/src/dev/arm/gic_v3_cpu_interface.cc +++ b/src/dev/arm/gic_v3_cpu_interface.cc @@ -64,6 +64,12 @@ Gicv3CPUInterface::reset() hppi.prio = 0xff; } +void +Gicv3CPUInterface::setThreadContext(ThreadContext *tc) +{ + maintenanceInterrupt = gic->params()->maint_int->get(tc); +} + bool Gicv3CPUInterface::getHCREL2FMO() const { @@ -1985,7 +1991,7 @@ Gicv3CPUInterface::virtualUpdate() if (ich_hcr_el2.En) { if (maintenanceInterruptStatus()) { - redistributor->sendPPInt(25); + maintenanceInterrupt->raise(); } } |