Searched refs:vmx_vcpu_load_vmcs (Results 1 – 2 of 2) sorted by relevance
309 vmx_vcpu_load_vmcs(vcpu, cpu); in vmx_switch_vmcs() 4632 vmx_vcpu_load_vmcs(vcpu, cpu); in sync_vmcs02_to_vmcs12() 4637 vmx_vcpu_load_vmcs(vcpu, cpu); in sync_vmcs02_to_vmcs12()
831 * cpu's list. Pairs with the smp_rmb() in vmx_vcpu_load_vmcs(). in __loaded_vmcs_clear() 1498 void vmx_vcpu_load_vmcs(struct kvm_vcpu *vcpu, int cpu) in vmx_vcpu_load_vmcs() 1563 vmx_vcpu_load_vmcs(vcpu, cpu); in vmx_vcpu_put() 1583 vmx_vcpu_load_vmcs(vcpu, cpu); in vmx_load_vmcs01() 4485 * vmx_vcpu_load_vmcs loads it with the per-CPU entry stack (and may in vmx_set_constant_host_state() 1493 void vmx_vcpu_load_vmcs(struct kvm_vcpu *vcpu, int cpu) vmx_vcpu_load_vmcs() function