CR0_READ_SHADOW
EVMCS1_FIELD(CR0_READ_SHADOW, cr0_read_shadow,
vmcs_writel(CR0_READ_SHADOW, nested_read_cr0(vmcs12));
/*3*/ (vmcs_readl(CR0_READ_SHADOW) & ~(vmcs12->cr0_guest_host_mask |
vmx_set_cr0(vcpu, vmcs_readl(CR0_READ_SHADOW));
FIELD(CR0_READ_SHADOW, cr0_read_shadow),
SHADOW_FIELD_RW(CR0_READ_SHADOW, cr0_read_shadow)
vmcs_writel(CR0_READ_SHADOW, cr0);
vmcs_writel(CR0_READ_SHADOW, orig_val);
vmcs_readl(GUEST_CR0), vmcs_readl(CR0_READ_SHADOW),
case CR0_READ_SHADOW:
case CR0_READ_SHADOW:
vmwrite(CR0_READ_SHADOW, get_cr0());