vgic_flush_hwstate
void vgic_flush_hwstate(struct hypctx *hypctx);
DEVMETHOD(vgic_flush_hwstate, vgic_v3_flush_hwstate),
vgic_flush_hwstate(hypctx);