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 6abff2a8b48b577b0150c419532e65aeff614f3b)
@@ -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;
 }