···3131extern int rtc_mips_set_mmss(unsigned long);32323333/*3434- * Timer interrupt functions.3535- * mips_timer_state is needed for high precision timer calibration.3636- */3737-extern int (*mips_timer_state)(void);3838-3939-/*4034 * board specific routines required by time_init().4135 */4236extern void plat_time_init(void);43374438/*4539 * mips_hpt_frequency - must be set if you intend to use an R4k-compatible4646- * counter as a timer interrupt source; otherwise it can be set up4747- * automagically with an aid of mips_timer_state.4040+ * counter as a timer interrupt source.4841 */4942extern unsigned int mips_hpt_frequency;5043