Index: kernel/generic/include/ps/taskinfo.h
===================================================================
--- kernel/generic/include/ps/taskinfo.h	(revision 638927aaf96314b3f36042b364dd1bba880197ba)
+++ kernel/generic/include/ps/taskinfo.h	(revision e43cdac49002cebbacc64f283bba4fdfa5282411)
@@ -77,5 +77,4 @@
 	state_t state;
 	int priority;
-	uint64_t cycles;
 	uint64_t ucycles;
 	uint64_t kcycles;