Searched defs:vmcs_pa (Results 1 – 3 of 3) sorted by relevance
197 vmcs_clear(uintptr_t vmcs_pa) in vmcs_clear()220 vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa) in vmcs_initialize()243 vmcs_load(uintptr_t vmcs_pa) in vmcs_load()
139 uintptr_t vmcs_pa[VM_MAXCPU]; member
2761 uintptr_t vmcs_pa; in vmx_run() local