void device_init(void)
{
int i;
/* Time of day clock */
inittod();
/* Figure out what disks we have */
diskprobe();
/* Add 64 swaps (2MB) */
for (i = MAX_SWAPS - 1 ; i >= 0; i--)
swapmap_init(i);
}
void device_init(void)
{
#ifdef CONFIG_RTC
/* Time of day clock */
inittod();
#endif
devscsi_init();
/* Must come last as we want to allocate this for swap if no other
swap was found */
gm833_init();
}
void device_init(void)
{
#ifdef CONFIG_RTC
/* Time of day clock */
platform_rtc_probe();
inittod();
#endif
if (!mouse_probe())
mouse_present = 1;
if (atom_probe())
devide_init();
}
void zrtc_init(void)
{
clkc = 0xFF;
clkc = 0x00;
inittod();
}
void device_init(void)
{
inittod();
nc100_tty_init();
}