sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2947

struct vmcs *vmcs = cpudata->vmcs;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2953

memset(vmcs, 0, VMCS_SIZE);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2954

vmcs->ident = __SHIFTIN(rev, VMCS_IDENT_REVISION);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2955

vmcs->abort = 0;

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

3100

os_contigpa_free(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

3125

os_contigpa_free(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs,

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

670

CTASSERT(sizeof(struct vmcs) == PAGE_SIZE);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

835

struct vmcs *vmcs;