extern int hz;

time_t getsecs();
int getticks();