46 #include <linux/kernel.h>
47 #include <linux/types.h>
54 #include <asm/reboot.h>
61 static void __init tx4927_pci_setup(
void)
108 static void __init tx4937_pci_setup(
void)
165 #define rbtx4927_arch_init NULL
166 #define rbtx4937_arch_init NULL
169 static void toshiba_rbtx4927_restart(
char *
command)
185 static void __init rbtx4927_clock_init(
void);
186 static void __init rbtx4937_clock_init(
void);
188 static void __init rbtx4927_mem_setup(
void)
191 rbtx4927_clock_init();
194 rbtx4937_clock_init();
216 static void __init rbtx4927_clock_init(
void)
240 static void __init rbtx4937_clock_init(
void)
270 static void __init rbtx4927_time_init(
void)
275 static void __init toshiba_rbtx4927_rtc_init(
void)
282 platform_device_register_simple(
"rtc-ds1742", -1, &res, 1);
285 static void __init rbtx4927_ne_init(
void)
297 platform_device_register_simple(
"ne", -1, res,
ARRAY_SIZE(res));
300 static void __init rbtx4927_mtd_init(
void)
304 for (i = 0; i < 2; i++)
308 static void __init rbtx4927_gpioled_init(
void)
311 { .
name =
"gpioled:green:0", .gpio = 0, .active_low = 1, },
312 { .name =
"gpioled:green:1", .gpio = 1, .active_low = 1, },
327 static void __init rbtx4927_device_init(
void)
329 toshiba_rbtx4927_rtc_init();
340 platform_device_register_simple(
"txx9aclc-generic", -1,
NULL, 0);
342 rbtx4927_gpioled_init();
346 .system =
"Toshiba RBTX4927",
348 .mem_setup = rbtx4927_mem_setup,
350 .time_init = rbtx4927_time_init,
351 .device_init = rbtx4927_device_init,
358 .
system =
"Toshiba RBTX4937",
360 .mem_setup = rbtx4927_mem_setup,
362 .time_init = rbtx4927_time_init,
363 .device_init = rbtx4927_device_init,