Searched refs:CR4_GUEST_HOST_MASK (Results 1 – 2 of 2) sorted by relevance
247 CR4_GUEST_HOST_MASK = 0x00006002, enumerator
728 FIELD(CR4_GUEST_HOST_MASK, cr4_guest_host_mask),4536 vmcs_writel(CR4_GUEST_HOST_MASK, ~vmx->vcpu.arch.cr4_guest_owned_bits); in set_cr4_guest_host_mask()9910 vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK); in load_vmcs12_host_state()