Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision 31e15be68a47a029289a467b6b9f837763fe97c1)
+++ kernel/generic/include/cpu.h	(revision d9dda2612b8bec14386b89ede7d9591a2ddacd44)
@@ -74,4 +74,6 @@
 	size_t missed_clock_ticks;
 
+	uint64_t current_clock_tick;
+
 	/**
 	 * Processor cycle accounting.