Searched refs:vmx_set_cr4 (Results 1 – 1 of 1) sorted by relevance
3535 static int vmx_set_cr4(struct kvm_vcpu *vcpu, unsigned long cr4);3550 vmx_set_cr4(vcpu, kvm_read_cr4(vcpu)); in ept_update_paging_mode_cr0()3558 vmx_set_cr4(vcpu, kvm_read_cr4(vcpu)); in ept_update_paging_mode_cr0()3640 static int vmx_set_cr4(struct kvm_vcpu *vcpu, unsigned long cr4) in vmx_set_cr4() function4810 vmx_set_cr4(&vmx->vcpu, 0); in vmx_vcpu_reset()9356 vmx_set_cr4(vcpu, vmcs12->guest_cr4); in prepare_vmcs02()10199 .set_cr4 = vmx_set_cr4,