src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2935

struct vmcs *vmcs = cpudata->vmcs;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2941

memset(vmcs, 0, VMCS_SIZE);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2942

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2943

vmcs->abort = 0;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3063

(vaddr_t *)&cpudata->vmcs, VMCS_NPAGES);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3088

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3113

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

653

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

805

struct vmcs *vmcs;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2935

struct vmcs *vmcs = cpudata->vmcs;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2941

memset(vmcs, 0, VMCS_SIZE);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2942

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2943

vmcs->abort = 0;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3063

(vaddr_t *)&cpudata->vmcs, VMCS_NPAGES);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3088

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3113

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

653

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

805

struct vmcs *vmcs;