Searched defs:vmcs_pa (Results 1 – 3 of 3) sorted by relevance
194 vmcs_clear(uintptr_t vmcs_pa) in vmcs_clear()217 vmcs_initialize(struct vmcs *vmcs, uintptr_t vmcs_pa) in vmcs_initialize()240 vmcs_load(uintptr_t vmcs_pa) in vmcs_load()
136 uintptr_t vmcs_pa[VM_MAXCPU]; member
2758 uintptr_t vmcs_pa; in vmx_run() local