Add header file for proper compilation
[akaros.git] / user / parlib / include / timing.h
index 99bfb55..e05af6e 100644 (file)
@@ -1,5 +1,6 @@
 #ifndef __PARLIB_TIMING_H__
 #define __PARLIB_TIMING_H__
+#include <stdint.h>
 
 void udelay(uint64_t usec);
 uint64_t udiff(uint64_t begin, uint64_t end);