Index: uspace/lib/c/include/ps.h
===================================================================
--- uspace/lib/c/include/ps.h	(revision 79edc36068b3e69b1d1719de0dc8332601090c30)
+++ uspace/lib/c/include/ps.h	(revision 1ba37faf61b6713df5140f30fa781f7f2147c5ab)
@@ -38,5 +38,7 @@
 #include <task.h>
 #include <kernel/ps/taskinfo.h>
+#include <kernel/ps/cpuinfo.h>
 
+extern int get_cpu_info(uspace_cpu_info_t *cpus);
 extern size_t get_task_ids(task_id_t *ids, size_t size);
 extern int get_task_info(task_id_t id, task_info_t *info);