66a67,72
> void
> Gicv3CPUInterface::setThreadContext(ThreadContext *tc)
> {
> maintenanceInterrupt = gic->params()->maint_int->get(tc);
> }
>
1988c1994
< redistributor->sendPPInt(25);
---
> maintenanceInterrupt->raise();