Index: kernel/generic/include/ps/taskinfo.h
===================================================================
--- kernel/generic/include/ps/taskinfo.h	(revision a2a00e8d4f4059d97c6514c8276189ab85ff03a8)
+++ kernel/generic/include/ps/taskinfo.h	(revision 07640dfd0f06086a843fa228d6305345338c4f0c)
@@ -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;