Index: uspace/lib/c/arch/amd64/include/libarch/tls.h
===================================================================
--- uspace/lib/c/arch/amd64/include/libarch/tls.h	(revision 2f89387275875a41f77d4816c3ae2f84a6655771)
+++ uspace/lib/c/arch/amd64/include/libarch/tls.h	(revision be0f5e4d59071204ff8b374bbff33ba65da0d3e1)
@@ -52,8 +52,8 @@
 static inline tcb_t *__tcb_get(void)
 {
-	void *retval;
+	tcb_t *retval;
 
 	asm volatile ("movq %%fs:0, %0" : "=r" (retval));
-	return (tcb_t *)retval;
+	return retval;
 }