Symbol: vgic_cpucleanup
sys/arm64/vmm/io/vgic.h
43
void vgic_cpucleanup(struct hypctx *hypctx);
sys/arm64/vmm/io/vgic_v3.c
2342
DEVMETHOD(vgic_cpucleanup, vgic_v3_cpucleanup),
sys/arm64/vmm/vmm_arm64.c
1251
vgic_cpucleanup(hypctx);