CR4_GUEST_HOST_MASK
EVMCS1_FIELD(CR4_GUEST_HOST_MASK, cr4_guest_host_mask,
vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);
vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);
FIELD(CR4_GUEST_HOST_MASK, cr4_guest_host_mask),
vmcs_writel(CR4_GUEST_HOST_MASK, ~vcpu->arch.cr4_guest_owned_bits);
cr4, vmcs_readl(CR4_READ_SHADOW), vmcs_readl(CR4_GUEST_HOST_MASK));
case CR4_GUEST_HOST_MASK:
case CR4_GUEST_HOST_MASK:
vmwrite(CR4_GUEST_HOST_MASK, 0);