Index: uspace/lib/c/arch/arm32/include/libarch/tls.h
===================================================================
--- uspace/lib/c/arch/arm32/include/libarch/tls.h	(revision 6abff2a8b48b577b0150c419532e65aeff614f3b)
+++ uspace/lib/c/arch/arm32/include/libarch/tls.h	(revision d4475a449597f547fae3e36ba0148dad1a28a423)
@@ -60,5 +60,5 @@
 static inline void __tcb_set(tcb_t *tcb)
 {
-	char *tls = (char *) tcb;
+	uint8_t *tls = (uint8_t *) tcb;
 	tls += sizeof(tcb_t) + ARM_TP_OFFSET;
 	asm volatile (
@@ -77,5 +77,5 @@
 static inline tcb_t *__tcb_get(void)
 {
-	char *ret;
+	uint8_t *ret;
 	asm volatile (
 	    "mov %0, r9"
Index: uspace/lib/c/arch/mips32/include/libarch/tls.h
===================================================================
--- uspace/lib/c/arch/mips32/include/libarch/tls.h	(revision 6abff2a8b48b577b0150c419532e65aeff614f3b)
+++ uspace/lib/c/arch/mips32/include/libarch/tls.h	(revision d4475a449597f547fae3e36ba0148dad1a28a423)
@@ -46,4 +46,6 @@
 #define CONFIG_TLS_VARIANT_1
 
+#include <libc.h>
+
 /*
  * I did not find any specification (neither MIPS nor PowerPC), but
@@ -67,5 +69,5 @@
 static inline void __tcb_set(tcb_t *tcb)
 {
-	char *tp = (char *) tcb;
+	uint8_t *tp = (uint8_t *) tcb;
 	tp += MIPS_TP_OFFSET + sizeof(tcb_t);
 
@@ -75,5 +77,5 @@
 static inline tcb_t *__tcb_get(void)
 {
-	char *retval;
+	uint8_t *retval;
 
 	asm volatile ("add %0, $27, $0" : "=r" (retval));
Index: uspace/lib/c/arch/ppc32/include/libarch/tls.h
===================================================================
--- uspace/lib/c/arch/ppc32/include/libarch/tls.h	(revision 6abff2a8b48b577b0150c419532e65aeff614f3b)
+++ uspace/lib/c/arch/ppc32/include/libarch/tls.h	(revision d4475a449597f547fae3e36ba0148dad1a28a423)
@@ -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));
 }
 
Index: uspace/lib/c/include/adt/list.h
===================================================================
--- uspace/lib/c/include/adt/list.h	(revision 6abff2a8b48b577b0150c419532e65aeff614f3b)
+++ uspace/lib/c/include/adt/list.h	(revision d4475a449597f547fae3e36ba0148dad1a28a423)
@@ -40,4 +40,5 @@
 #include <stdbool.h>
 #include <stddef.h>
+#include <stdint.h>
 #include <trace.h>
 
@@ -421,5 +422,5 @@
 
 	list_remove(tmp);
-	return (void *)(((char *) tmp) - offset);
+	return (void *) (((uint8_t *) tmp) - offset);
 }
 
