sys/dev/nvmm/x86/nvmm_x86_vmx.c

3080

struct vmcs *vmcs = cpudata->vmcs;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3087

memset(vmcs, 0, VMCS_SIZE);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3088

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3089

vmcs->abort = 0;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3232

error = vmx_memalloc(&cpudata->vmcs_pa, (vaddr_t *)&cpudata->vmcs,

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3257

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3283

vmx_memfree(cpudata->vmcs_pa, (vaddr_t)cpudata->vmcs, VMCS_NPAGES);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

637

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

sys/dev/nvmm/x86/nvmm_x86_vmx.c

791

struct vmcs *vmcs;