From 55ec357d09f6ce420e2efc37227f6c5d8957b742 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 29 May 2015 19:39:14 +0200
Subject: [PATCH] vbox: store the unmodified TSC in the GIP

Fixes #1548
---
 repos/ports/src/virtualbox/sup.cc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/repos/ports/src/virtualbox/sup.cc b/repos/ports/src/virtualbox/sup.cc
index 76dc94d1f5..5eccf16be3 100644
--- a/repos/ports/src/virtualbox/sup.cc
+++ b/repos/ports/src/virtualbox/sup.cc
@@ -56,9 +56,7 @@ class Periodic_GIP : public Genode::Alarm {
 		 * driver as done for base-nova currently.
 		 */
 
-		static uint64_t tsc_reference = Genode::Trace::timestamp();
-
-		Genode::uint64_t tsc_current = Genode::Trace::timestamp() - tsc_reference;
+		Genode::uint64_t tsc_current = Genode::Trace::timestamp();
 
 		/*
 		 * Convert tsc to nanoseconds.