Add header file for proper compilation
authorKevin Klues <klueska@cs.berkeley.edu>
Tue, 18 Dec 2012 08:35:31 +0000 (00:35 -0800)
committerKevin Klues <klueska@cs.berkeley.edu>
Tue, 18 Dec 2012 08:35:31 +0000 (00:35 -0800)
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);