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);
4371 void set_cr4_guest_host_mask(struct vcpu_vmx *vmx) in set_cr4_guest_host_mask() function4797 set_cr4_guest_host_mask(vmx); in init_vmcs()7831 set_cr4_guest_host_mask(vmx); in vmx_vcpu_after_set_cpuid()
2534 set_cr4_guest_host_mask(vmx); in prepare_vmcs02_rare()