Searched refs:vmcs_load (Results 1 – 3 of 3) sorted by relevance
240 vmcs_load(uintptr_t vmcs_pa) in vmcs_load() function
53 void vmcs_load(uintptr_t vmcs_pa);
795 vmcs_load(vmx->vmcs_pa[i]); in vmx_vminit()2779 vmcs_load(vmcs_pa); in vmx_run()3020 vmcs_load(vmx->vmcs_pa[vcpu]); in vmx_vmcs_access_ensure()3463 vmcs_load(vmx->vmcs_pa[vcpu]); in vmx_setcap()3636 vmcs_load(vmx->vmcs_pa[vcpuid]); in vmx_enable_x2apic_mode_ts()3659 vmcs_load(vmx->vmcs_pa[vcpuid]); in vmx_enable_x2apic_mode_vid()3853 vmcs_load(vmx->vmcs_pa[vcpu]); in vmx_restorectx()