Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 729df217b2a40c5e75b70ad8ef1f16a23b4ae1f3)
+++ libcfa/src/concurrency/kernel.cfa	(revision efa28d59767f732b135ad7af6f4d956a258eab51)
@@ -682,5 +682,5 @@
 	this->idle_wctx.sem = 1;
 
-	this->idle_wctx.wake_time = rdtscl();
+	this->idle_wctx.wake__time = rdtscl();
 
 	eventfd_t val;
Index: libcfa/src/concurrency/kernel.hfa
===================================================================
--- libcfa/src/concurrency/kernel.hfa	(revision 729df217b2a40c5e75b70ad8ef1f16a23b4ae1f3)
+++ libcfa/src/concurrency/kernel.hfa	(revision efa28d59767f732b135ad7af6f4d956a258eab51)
@@ -75,5 +75,5 @@
 	io_future_t * ftr;
 
-	volatile unsigned long long wake_time;
+	volatile unsigned long long wake__time;
 	volatile unsigned long long sleep_time;
 	volatile unsigned long long drain_time;
Index: libcfa/src/concurrency/kernel/startup.cfa
===================================================================
--- libcfa/src/concurrency/kernel/startup.cfa	(revision 729df217b2a40c5e75b70ad8ef1f16a23b4ae1f3)
+++ libcfa/src/concurrency/kernel/startup.cfa	(revision efa28d59767f732b135ad7af6f4d956a258eab51)
@@ -558,5 +558,5 @@
 
 	idle_wctx.sem = 0;
-	idle_wctx.wake_time = 0;
+	idle_wctx.wake__time = 0;
 
 	// I'm assuming these two are reserved for standard input and output