usr/src/uts/intel/io/vmm/intel/vmcs.c

220

vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa)

usr/src/uts/intel/io/vmm/intel/vmcs.c

225

vmcs->identifier = VMX_BASIC_REVISION(rdmsr(MSR_VMX_BASIC));

usr/src/uts/intel/io/vmm/intel/vmcs.h

56

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

usr/src/uts/intel/io/vmm/intel/vmcs.h

63

void vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa);

usr/src/uts/intel/io/vmm/intel/vmx.c

783

vmx->vmcs_pa[i] = (uintptr_t)vtophys(&vmx->vmcs[i]);

usr/src/uts/intel/io/vmm/intel/vmx.c

784

vmcs_initialize(&vmx->vmcs[i], vmx->vmcs_pa[i]);

usr/src/uts/intel/io/vmm/intel/vmx.h

131

struct vmcs vmcs[VM_MAXCPU]; /* one vmcs per virtual cpu */

usr/src/uts/intel/io/vmm/intel/vmx.h

155

CTASSERT((offsetof(struct vmx, vmcs) & PAGE_MASK) == 0);