static void __init cobalt_time_init(void)
{
//mips_counter_frequency = 83000000;
/* we have ds1396 RTC chip */
rtc_ds1386_init(VIA_CMOS_ADDR);
/* optional: we don't have a good way to set RTC time,
* so we will hack here to set a time. In normal running.
* it should *not* be called becaues RTC will keep the correct time.
*/
/* rtc_set_time(mktime(2001, 10, 05, 17, 20, 0)); */
}
static void __init ddb_time_init(void)
{
/* we have ds1396 RTC chip */
rtc_ds1386_init(KSEG1ADDR(DDB_PCI_MEM_BASE));
}