waiton_timer2
waiton_timer2((nsecs * CLOCK_TICK_RATE)/1000000000);
waiton_timer2((usecs * TICKS_PER_MS)/1000);
extern void waiton_timer2(unsigned int ticks);