GUEST_CR3
EVMCS1_FIELD(GUEST_CR3, guest_cr3,
vmcs_writel(GUEST_CR3, vmcs12->guest_cr3);
vmcs_writel(GUEST_CR3, vcpu->arch.cr3);
vmcs12->guest_cr3 = vmcs_readl(GUEST_CR3);
vcpu->arch.cr3 = vmcs_readl(GUEST_CR3);
FIELD(GUEST_CR3, guest_cr3),
SHADOW_FIELD_RW(GUEST_CR3, guest_cr3)
vcpu->arch.cr3 = vmcs_readl(GUEST_CR3);
vmcs_writel(GUEST_CR3, guest_cr3);
pr_err("CR3 = 0x%016lx\n", vmcs_readl(GUEST_CR3));
case GUEST_CR3:
case GUEST_CR3:
vmwrite(GUEST_CR3, vmreadz(HOST_CR3));
save_cr3 = vmreadz(GUEST_CR3);
vmwrite(GUEST_CR3, -1ull);
vmwrite(GUEST_CR3, save_cr3);
vmwrite(GUEST_CR3, pml4_pa);