rtcstart
rtcstart(); /* in i8254 mode, rtc is profclock */
void rtcstart(void);
rtcstart(); /* start the mc146818 clock */
rtcstart(); /* in i8254 mode, rtc is profclock */
rtcstart(); /* in i8254 mode, rtc is profclock */
void rtcstart(void);
rtcstart(); /* start the mc146818 clock */