Searched refs:vgic_sync_hwstate (Results 1 – 4 of 4) sorted by relevance
50 void vgic_sync_hwstate(struct hypctx *hypctx);
119 vgic_sync_hwstate(struct hypctx *hypctx) in vgic_sync_hwstate() function
2339 DEVMETHOD(vgic_sync_hwstate, vgic_v3_sync_hwstate),
1149 vgic_sync_hwstate(hypctx); in vmmops_run()