Index: uspace/lib/c/arch/ppc32/include/libarch/tls.h
===================================================================
--- uspace/lib/c/arch/ppc32/include/libarch/tls.h	(revision 6419c6e42fdc082f36a27db157d4bb12592f8012)
+++ uspace/lib/c/arch/ppc32/include/libarch/tls.h	(revision 2d56e2e280dc6cc7c8f5fee90414bf2add26b6e3)
@@ -38,4 +38,6 @@
 #define CONFIG_TLS_VARIANT_1
 
+#include <libc.h>
+
 #define PPC_TP_OFFSET 0x7000
 
@@ -46,5 +48,5 @@
 static inline void __tcb_set(tcb_t *tcb)
 {
-	char *tp = (char *) tcb;
+	uint8_t *tp = (uint8_t *) tcb;
 	tp += PPC_TP_OFFSET + sizeof(tcb_t);
 
@@ -58,5 +60,5 @@
 static inline tcb_t *__tcb_get(void)
 {
-	char *retval;
+	uint8_t *retval;
 
 	asm volatile (
@@ -65,5 +67,5 @@
 	);
 
-	return (tcb_t *)(retval - PPC_TP_OFFSET - sizeof(tcb_t));
+	return (tcb_t *) (retval - PPC_TP_OFFSET - sizeof(tcb_t));
 }
 
