Symbol: vmmops_vcpu_cleanup
sys/arm64/vmm/vmm_arm64.c
1212
vmmops_vcpu_cleanup(void *vcpui)
sys/riscv/vmm/vmm_riscv.c
743
vmmops_vcpu_cleanup(void *vcpui)