Searched defs:vmcs (Results 1 – 3 of 3) sorted by relevance
217 vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa) in vmcs_initialize()
39 struct vmcs { struct44 CTASSERT(sizeof (struct vmcs) == PAGE_SIZE); argument
128 struct vmcs vmcs[VM_MAXCPU]; /* one vmcs per virtual cpu */ member