Symbol: os_mtx_destroy
sys/dev/virtual/nvmm/nvmm.c
1001
os_mtx_destroy(&machines[i].cpus[n].lock);
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2738
os_mtx_destroy(&svm_asidlock);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3645
os_mtx_destroy(&vmx_asidlock);