Index: libcfa/src/concurrency/kernel/fwd.hfa
===================================================================
--- libcfa/src/concurrency/kernel/fwd.hfa	(revision 8fc652e01c609dd8c3f392cd9de90efc31e0d6b2)
+++ libcfa/src/concurrency/kernel/fwd.hfa	(revision ad4832f1e82f11b7d41be2a374faf227d42690a9)
@@ -65,8 +65,5 @@
 
 		extern uintptr_t __cfatls_get( unsigned long int member );
-		// #define publicTLS_get( member ) ((typeof(__cfaabi_tls.member))__cfatls_get( __builtin_offsetof(KernelThreadData, member) ))
-		#define publicTLS_get( member ) (__cfaabi_tls.member)
-		// extern forall(otype T) T __cfatls_get( T * member, T value );
-		// #define publicTLS_set( member, value ) __cfatls_set( (typeof(member)*)__builtin_offsetof(KernelThreadData, member), value );
+		#define publicTLS_get( member ) ((typeof(__cfaabi_tls.member))__cfatls_get( __builtin_offsetof(KernelThreadData, member) ))
 
 		static inline uint64_t __tls_rand() {