Searched refs:vmx_vcpu_load_vmcs (Results 1 – 3 of 3) sorted by relevance
341 void vmx_vcpu_load_vmcs(struct kvm_vcpu *vcpu, int cpu);
309 vmx_vcpu_load_vmcs(vcpu, cpu); in vmx_switch_vmcs()4613 vmx_vcpu_load_vmcs(vcpu, cpu); in copy_vmcs02_to_vmcs12_rare()4618 vmx_vcpu_load_vmcs(vcpu, cpu); in copy_vmcs02_to_vmcs12_rare()
1526 void vmx_vcpu_load_vmcs(struct kvm_vcpu *vcpu, int cpu) in vmx_vcpu_load_vmcs() function1591 vmx_vcpu_load_vmcs(vcpu, cpu); in vmx_vcpu_load()1611 vmx_vcpu_load_vmcs(vcpu, cpu); in vmx_switch_loaded_vmcs()