56c56,58
< postVIntEvent[x] = new PostVIntEvent(x, p->platform);
---
> postVIntEvent[x] = new EventFunctionWrapper(
> [this, x]{ processPostVIntEvent(x); },
> "Post VInterrupt to CPU");
371a374,380
> VGic::processPostVIntEvent(uint32_t cpu)
> {
> platform->intrctrl->post(cpu, ArmISA::INT_VIRT_IRQ, 0);
> }
>
>
> void