Index: libcfa/src/concurrency/ready_queue.cfa
===================================================================
--- libcfa/src/concurrency/ready_queue.cfa	(revision f5f2768f1ea8ac6fe59dfcadd418c52630ba9553)
+++ libcfa/src/concurrency/ready_queue.cfa	(revision 97c75bff1ac051993bc11e5c77d89bea54a29060)
@@ -122,5 +122,5 @@
 	// Figure out the current cache is
 	const unsigned this_cache = cache_id(cltr, this / __shard_factor.readyq);
-	const unsigned long long ctsc = rdtscl();
+	const unsigned long long ctsc = rdtsc();
 
 	if(proc->rdq.target == UINT_MAX) {