Searched refs:set_cr4_guest_host_mask (Results 1 – 3 of 3) sorted by relevance
394 void set_cr4_guest_host_mask(struct vcpu_vmx *vmx);
4367 void set_cr4_guest_host_mask(struct vcpu_vmx *vmx) in set_cr4_guest_host_mask() function4793 set_cr4_guest_host_mask(vmx); in init_vmcs()7822 set_cr4_guest_host_mask(vmx); in vmx_vcpu_after_set_cpuid()
2519 set_cr4_guest_host_mask(vmx); in prepare_vmcs02_rare()