Index: uspace/lib/c/include/bool.h
===================================================================
--- uspace/lib/c/include/bool.h	(revision 81e9cb39036c08c482d5b09ff34bf1222477280c)
+++ uspace/lib/c/include/bool.h	(revision 36e2b55baba3a1dca2bdc60427e16d91cdffae3f)
@@ -37,9 +37,8 @@
 
 #include <libarch/types.h>
+#include <abi/bool.h>
 
 #define false  0
 #define true   1
-
-typedef uint8_t bool;
 
 #endif
Index: uspace/lib/c/include/sysinfo.h
===================================================================
--- uspace/lib/c/include/sysinfo.h	(revision 81e9cb39036c08c482d5b09ff34bf1222477280c)
+++ uspace/lib/c/include/sysinfo.h	(revision 36e2b55baba3a1dca2bdc60427e16d91cdffae3f)
@@ -36,16 +36,9 @@
 #define LIBC_SYSINFO_H_
 
-#include <libc.h>
+#include <sys/types.h>
+#include <bool.h>
+#include <abi/sysinfo.h>
 
-/** Sysinfo value types
- *
- */
-typedef enum {
-	SYSINFO_VAL_UNDEFINED = 0,
-	SYSINFO_VAL_VAL = 1,
-	SYSINFO_VAL_DATA = 2
-} sysinfo_item_tag_t;
-
-extern sysinfo_item_tag_t sysinfo_get_tag(const char *);
+extern sysinfo_item_val_type_t sysinfo_get_val_type(const char *);
 extern int sysinfo_get_value(const char *, sysarg_t *);
 extern void *sysinfo_get_data(const char *, size_t *);
Index: uspace/lib/c/include/task.h
===================================================================
--- uspace/lib/c/include/task.h	(revision 81e9cb39036c08c482d5b09ff34bf1222477280c)
+++ uspace/lib/c/include/task.h	(revision 36e2b55baba3a1dca2bdc60427e16d91cdffae3f)
@@ -37,6 +37,5 @@
 
 #include <sys/types.h>
-
-typedef uint64_t task_id_t;
+#include <abi/proc/task.h>
 
 typedef enum {
Index: uspace/lib/c/include/thread.h
===================================================================
--- uspace/lib/c/include/thread.h	(revision 81e9cb39036c08c482d5b09ff34bf1222477280c)
+++ uspace/lib/c/include/thread.h	(revision 36e2b55baba3a1dca2bdc60427e16d91cdffae3f)
@@ -38,6 +38,5 @@
 #include <libarch/thread.h>
 #include <sys/types.h>
-
-typedef uint64_t thread_id_t;
+#include <abi/proc/thread.h>
 
 extern int thread_create(void (*)(void *), void *, const char *, thread_id_t *);