setup_clock_intr
setup_clock_intr();
extern void setup_clock_intr(void);
void setup_clock_intr(void);