GUEST_CR3        1550 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_CR3, guest_cr3);
GUEST_CR3        2744 arch/x86/kvm/vmx.c 		vcpu->arch.cr3 = vmcs_readl(GUEST_CR3);