statclockhandler
"tmr2 stat clk", statclockhandler, 0);
int statclockhandler(void *);
int statclockhandler(void *);
"tmr1 stat clk", statclockhandler, 0);
IPL_HIGH, statclockhandler, 0);