#include <sys/types.h>
#include <sys/time.h>

void
cpu_initclocks(void)
{
}

#if 0
void
microtime(struct timeval *tvp)
{
}
#endif

void
setstatclockrate(int schz)
{
}