Searched refs:vmcs_load (Results 1 – 3 of 3) sorted by relevance
243 vmcs_load(uintptr_t vmcs_pa) in vmcs_load() function
65 void vmcs_load(uintptr_t vmcs_pa);
788 vmcs_load(vmx->vmcs_pa[i]); in vmx_vminit()2772 vmcs_load(vmcs_pa); in vmx_run()3013 vmcs_load(vmx->vmcs_pa[vcpu]); in vmx_vmcs_access_ensure()3456 vmcs_load(vmx->vmcs_pa[vcpu]); in vmx_setcap()3629 vmcs_load(vmx->vmcs_pa[vcpuid]); in vmx_enable_x2apic_mode_ts()3652 vmcs_load(vmx->vmcs_pa[vcpuid]); in vmx_enable_x2apic_mode_vid()3846 vmcs_load(vmx->vmcs_pa[vcpu]); in vmx_restorectx()