Searched refs:set_cr4_guest_host_mask (Results 1 – 3 of 3) sorted by relevance
351 void set_cr4_guest_host_mask(struct vcpu_vmx *vmx);
4168 void set_cr4_guest_host_mask(struct vcpu_vmx *vmx) in set_cr4_guest_host_mask() function4458 set_cr4_guest_host_mask(vmx); in init_vmcs()7402 set_cr4_guest_host_mask(vmx); in vmx_vcpu_after_set_cpuid()
2513 set_cr4_guest_host_mask(vmx); in prepare_vmcs02_rare()