00001 #ifndef UTIL_H 00002 #define UTIL_H 00003 00004 #include <stdint.h> 00005 #include "LPC214x.h" 00006 00007 extern volatile int64_t g_timestamp; 00008 00009 void wait(int usec); 00010 00011 #endif // UTIL_H