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