Symbol: vgic_sync_hwstate
sys/arm64/vmm/io/vgic.h
50
void vgic_sync_hwstate(struct hypctx *hypctx);
sys/arm64/vmm/io/vgic_v3.c
2341
DEVMETHOD(vgic_sync_hwstate, vgic_v3_sync_hwstate),
sys/arm64/vmm/vmm_arm64.c
1162
vgic_sync_hwstate(hypctx);