Symbol: vgic_flush_hwstate
sys/arm64/vmm/io/vgic.h
49
void vgic_flush_hwstate(struct hypctx *hypctx);
sys/arm64/vmm/io/vgic_v3.c
2340
DEVMETHOD(vgic_flush_hwstate, vgic_v3_flush_hwstate),
sys/arm64/vmm/vmm_arm64.c
1157
vgic_flush_hwstate(hypctx);