Searched refs:cr4_guest_host_mask (Results 1 – 5 of 5) sorted by relevance
119 return (fields->guest_cr4 & ~fields->cr4_guest_host_mask) | in nested_read_cr4()120 (fields->cr4_read_shadow & fields->cr4_guest_host_mask); in nested_read_cr4()
1844 vmcs12->cr4_guest_host_mask = evmcs->cr4_guest_host_mask; in copy_enlightened_to_vmcs12()3935 /*2*/ (vmcs12->guest_cr4 & vmcs12->cr4_guest_host_mask) | in vmcs12_guest_cr4()3936 /*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask | in vmcs12_guest_cr4()6348 if (vmcs12->cr4_guest_host_mask & in nested_vmx_exit_handled_cr()
4511 ~get_vmcs12(vcpu)->cr4_guest_host_mask; in set_cr4_guest_host_mask()5620 val = (val & ~vmcs12->cr4_guest_host_mask) | in handle_set_cr4()5621 (vmcs12->guest_cr4 & vmcs12->cr4_guest_host_mask); in handle_set_cr4()
135 u64 cr4_guest_host_mask; member394 *value = current_evmcs->cr4_guest_host_mask; in evmcs_vmread()831 current_evmcs->cr4_guest_host_mask = value; in evmcs_vmwrite()
118 natural_width cr4_guest_host_mask;