Index: libcfa/src/concurrency/kernel.hfa
===================================================================
--- libcfa/src/concurrency/kernel.hfa	(revision 1e5cd9a357bd981da7ec4fa42d5d655fd67c15c6)
+++ libcfa/src/concurrency/kernel.hfa	(revision 8cd40bf8f695d26ae4aace6ae9e3c3150abe3703)
@@ -148,7 +148,10 @@
 
 // Aligned timestamps which are used by the relaxed ready queue
-struct __attribute__((aligned(128))) __timestamp_t;
-void  ?{}(__timestamp_t & this);
-void ^?{}(__timestamp_t & this);
+struct __attribute__((aligned(128))) __timestamp_t {
+	volatile unsigned long long tv;
+};
+
+static inline void  ?{}(__timestamp_t & this) { this.tv = 0; }
+static inline void ^?{}(__timestamp_t & this) {}
 
 //TODO adjust cache size to ARCHITECTURE
Index: libcfa/src/concurrency/ready_subqueue.hfa
===================================================================
--- libcfa/src/concurrency/ready_subqueue.hfa	(revision 1e5cd9a357bd981da7ec4fa42d5d655fd67c15c6)
+++ libcfa/src/concurrency/ready_subqueue.hfa	(revision 8cd40bf8f695d26ae4aace6ae9e3c3150abe3703)
@@ -108,10 +108,2 @@
 	return this.anchor.ts;
 }
-
-// Aligned timestamps which are used by the relaxed ready queue
-struct __attribute__((aligned(128))) __timestamp_t {
-	volatile unsigned long long tv;
-};
-
-void  ?{}(__timestamp_t & this) { this.tv = 0; }
-void ^?{}(__timestamp_t & this) {}