Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision 944f2cabb1486d36083818853bbff23141ff6e5e)
+++ kernel/generic/include/cpu.h	(revision 5c058d500ee41368a4ddb76818f2320282a12dae)
@@ -68,4 +68,8 @@
 					     are disabled. */
 
+	bool idle;
+	uint64_t idle_ticks;
+	uint64_t busy_ticks;
+
 	/**
 	 * Processor ID assigned by kernel.