Index: uspace/lib/c/arch/riscv64/include/libarch/tls.h
===================================================================
--- uspace/lib/c/arch/riscv64/include/libarch/tls.h	(revision fc0b2a8b439bd4294aa93f37af1e7fe305fbee77)
+++ uspace/lib/c/arch/riscv64/include/libarch/tls.h	(revision 30bc2ce1dd6964f3fe689628733b7e12a0c82d44)
@@ -51,5 +51,5 @@
 static inline tcb_t *__tcb_get(void)
 {
-	return (void *) 0;
+	return (tcb_t *) 0;
 }