GUEST_LINEAR_ADDRESS 2648 arch/x86/kvm/vmx.c 			(long unsigned int)vmcs_read64(GUEST_LINEAR_ADDRESS));
GUEST_LINEAR_ADDRESS 2675 arch/x86/kvm/vmx.c 			 (long unsigned int)vmcs_read64(GUEST_LINEAR_ADDRESS));