Symbol: os_pmap_mach
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2522
struct nvmm_machine *mach = os_pmap_mach(pm);
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2544
os_pmap_mach(pmap) = (void *)mach;
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3221
struct nvmm_machine *mach = os_pmap_mach(pm);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3244
os_pmap_mach(pmap) = (void *)mach;