Symbol: VMCB_NPAGES
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2391
(vaddr_t *)&cpudata->vmcb, VMCB_NPAGES);
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2415
VMCB_NPAGES);
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2437
VMCB_NPAGES);