Searched refs:vmx_set_cr4 (Results 1 – 3 of 3) sorted by relevance
406 void vmx_set_cr4(struct kvm_vcpu *vcpu, unsigned long cr4);
2576 vmx_set_cr4(vcpu, vmcs12->guest_cr4); in prepare_vmcs02()4457 vmx_set_cr4(vcpu, vmcs12->host_cr4); in load_vmcs12_host_state()4607 vmx_set_cr4(vcpu, vmcs_readl(CR4_READ_SHADOW)); in nested_vmx_restore_host_state()
3207 vmx_set_cr4(vcpu, kvm_read_cr4(vcpu)); in vmx_set_cr0()3288 void vmx_set_cr4(struct kvm_vcpu *vcpu, unsigned long cr4) in vmx_set_cr4() function8038 .set_cr4 = vmx_set_cr4,