#include <sys/types.h> #include <sys/time.h> void cpu_initclocks(void) { } #if 0 void microtime(struct timeval *tvp) { } #endif void setstatclockrate(int schz) { }