CR4_READ_SHADOW
EVMCS1_FIELD(CR4_READ_SHADOW, cr4_read_shadow,
vmcs_writel(CR4_READ_SHADOW, nested_read_cr4(vmcs12));
/*3*/ (vmcs_readl(CR4_READ_SHADOW) & ~(vmcs12->cr4_guest_host_mask |
vmx_set_cr4(vcpu, vmcs_readl(CR4_READ_SHADOW));
FIELD(CR4_READ_SHADOW, cr4_read_shadow),
SHADOW_FIELD_RW(CR4_READ_SHADOW, cr4_read_shadow)
(vmcs_readl(CR4_READ_SHADOW) & X86_CR4_VME));
vmcs_writel(CR4_READ_SHADOW, cr4);
vmcs_writel(CR4_READ_SHADOW, orig_val);
cr4, vmcs_readl(CR4_READ_SHADOW), vmcs_readl(CR4_GUEST_HOST_MASK));
case CR4_READ_SHADOW:
case CR4_READ_SHADOW:
vmwrite(CR4_READ_SHADOW, get_cr4());