Searched refs:vmcs (Results 1 – 5 of 5) sorted by relevance
39 struct vmcs { struct44 CTASSERT(sizeof (struct vmcs) == PAGE_SIZE); argument51 void vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa);
128 struct vmcs vmcs[VM_MAXCPU]; /* one vmcs per virtual cpu */ member152 CTASSERT((offsetof(struct vmx, vmcs) & PAGE_MASK) == 0);
217 vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa) in vmcs_initialize() argument222 vmcs->identifier = VMX_BASIC_REVISION(rdmsr(MSR_VMX_BASIC)); in vmcs_initialize()
790 vmx->vmcs_pa[i] = (uintptr_t)vtophys(&vmx->vmcs[i]); in vmx_vminit()791 vmcs_initialize(&vmx->vmcs[i], vmx->vmcs_pa[i]); in vmx_vminit()
66 vmcs.o \