Index: kernel/generic/include/ps/taskinfo.h
===================================================================
--- kernel/generic/include/ps/taskinfo.h	(revision a2a00e8d4f4059d97c6514c8276189ab85ff03a8)
+++ kernel/generic/include/ps/taskinfo.h	(revision ea55bc4de5768018b35ca09e60ec4f2e79c979d0)
@@ -50,4 +50,6 @@
 	int thread_count;
 	uint64_t cycles;
+	uint64_t ucycles;
+	uint64_t kcycles;
 } task_info_t;
 
@@ -75,4 +77,6 @@
 	int priority;
 	uint64_t cycles;
+	uint64_t ucycles;
+	uint64_t kcycles;
 	unsigned int cpu;
 } thread_info_t;