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