GUEST_CR0
EVMCS1_FIELD(GUEST_CR0, guest_cr0,
/*1*/ (vmcs_readl(GUEST_CR0) & vcpu->arch.cr0_guest_owned_bits) |
FIELD(GUEST_CR0, guest_cr0),
SHADOW_FIELD_RW(GUEST_CR0, guest_cr0)
vcpu->arch.cr0 |= vmcs_readl(GUEST_CR0) & guest_owned_bits;
vmcs_writel(GUEST_CR0, hw_cr0);
vmcs_readl(GUEST_CR0), vmcs_readl(CR0_READ_SHADOW),
case GUEST_CR0:
case GUEST_CR0:
vmwrite(GUEST_CR0, vmreadz(HOST_CR0));