Symbol: vgic_detach_from_vm
sys/arm64/vmm/io/vgic.h
40
void vgic_detach_from_vm(struct hyp *hyp);
sys/arm64/vmm/io/vgic_v3.c
2331
DEVMETHOD(vgic_detach_from_vm, vgic_v3_detach_from_vm),
sys/arm64/vmm/vmm.c
369
vgic_detach_from_vm(vm->cookie);