[Timers] Initialise timers on first use
[people/balajirrao/gpxe.git] / src / include / gpxe / timer.h
index ecd3000..b705722 100644 (file)
@@ -2,6 +2,7 @@
 #define GPXE_TIMER_H
 
 #include <stddef.h>
+#include <gpxe/tables.h>
 
 typedef unsigned long tick_t;