Symbol: vmmops_vcpu_cleanup
sys/amd64/vmm/vmm.c
211
vmmops_vcpu_cleanup(vcpu->cookie);
sys/arm64/vmm/vmm.c
179
vmmops_vcpu_cleanup(vcpu->cookie);
sys/riscv/vmm/vmm.c
93
vmmops_vcpu_cleanup(vcpu->cookie);