Symbol: VMCS_NPAGES
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3075
(vaddr_t *)&cpudata->vmcs, VMCS_NPAGES);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3101
VMCS_NPAGES);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3126
VMCS_NPAGES);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
759
#define VMCS_SIZE (VMCS_NPAGES * PAGE_SIZE)