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