Searched refs:vmcs (Results 1 – 5 of 5) sorted by relevance
51 struct vmcs { struct56 CTASSERT(sizeof (struct vmcs) == PAGE_SIZE); argument63 void vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa);
131 struct vmcs vmcs[VM_MAXCPU]; /* one vmcs per virtual cpu */ member155 CTASSERT((offsetof(struct vmx, vmcs) & PAGE_MASK) == 0);
220 vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa) in vmcs_initialize() argument225 vmcs->identifier = VMX_BASIC_REVISION(rdmsr(MSR_VMX_BASIC)); in vmcs_initialize()
783 vmx->vmcs_pa[i] = (uintptr_t)vtophys(&vmx->vmcs[i]); in vmx_vminit()784 vmcs_initialize(&vmx->vmcs[i], vmx->vmcs_pa[i]); in vmx_vminit()
66 vmcs.o \