mon_clock_start
mon_clock_start();
mon_clock_start(); /* re-enable monitor's polling interrupt */
extern void mon_clock_start(void);