vmcs_read64       670 arch/x86/kvm/vmx.c 			new_offset = vmcs_read64(TSC_OFFSET) + delta;
vmcs_read64       822 arch/x86/kvm/vmx.c 	tsc_offset = vmcs_read64(TSC_OFFSET);
vmcs_read64      2599 arch/x86/kvm/vmx.c 	exit_qualification = vmcs_read64(EXIT_QUALIFICATION);
vmcs_read64      2636 arch/x86/kvm/vmx.c 	exit_qualification = vmcs_read64(EXIT_QUALIFICATION);
vmcs_read64      2647 arch/x86/kvm/vmx.c 			(long unsigned int)vmcs_read64(GUEST_PHYSICAL_ADDRESS),
vmcs_read64      2648 arch/x86/kvm/vmx.c 			(long unsigned int)vmcs_read64(GUEST_LINEAR_ADDRESS));
vmcs_read64      2656 arch/x86/kvm/vmx.c 	gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS);
vmcs_read64      2674 arch/x86/kvm/vmx.c 			 (long unsigned int)vmcs_read64(GUEST_PHYSICAL_ADDRESS),
vmcs_read64      2675 arch/x86/kvm/vmx.c 			 (long unsigned int)vmcs_read64(GUEST_LINEAR_ADDRESS));