Symbol: vgic_vmcleanup
sys/arm64/vmm/io/vgic.h
44
void vgic_vmcleanup(struct hyp *hyp);
sys/arm64/vmm/io/vgic_v3.c
2343
DEVMETHOD(vgic_vmcleanup, vgic_v3_vmcleanup),
sys/arm64/vmm/vmm_arm64.c
1265
vgic_vmcleanup(hyp);