diff --git a/runtime/src/generic_thread.c b/runtime/src/generic_thread.c
index 52153ea..93e5d19 100644
--- a/runtime/src/generic_thread.c
+++ b/runtime/src/generic_thread.c
@@ -3,6 +3,9 @@
 #include "arch/getcycles.h"
 #include "debuglog.h"
 
+extern uint32_t                     runtime_processor_speed_MHz;
+extern uint32_t                     runtime_quantum_us;
+
 /* Implemented by listener and workers */
 
 __thread uint64_t generic_thread_lock_duration   = 0;