Searched refs:CR4_GUEST_HOST_MASK (Results 1 – 5 of 5) sorted by relevance
244 CR4_GUEST_HOST_MASK = 0x00006002, enumerator
393 case CR4_GUEST_HOST_MASK: in evmcs_vmread()830 case CR4_GUEST_HOST_MASK: in evmcs_vmwrite()
246 vmwrite(CR4_GUEST_HOST_MASK, 0); in init_vmcs_control_fields()
4805 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK); in load_vmcs12_host_state()4970 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK); in nested_vmx_restore_host_state()
4512 vmcs_writel(CR4_GUEST_HOST_MASK, ~vcpu->arch.cr4_guest_owned_bits); in set_cr4_guest_host_mask()6514 cr4, vmcs_readl(CR4_READ_SHADOW), vmcs_readl(CR4_GUEST_HOST_MASK)); in dump_vmcs()