| #include <linux/reboot.h> | |
| extern void ls1024a_secondary_startup(void); | |
| extern void c2k_local_timer_init(void); | |
| void c2k_init_early(void); | |
| void c2k_init_late(void); | |
| void c2k_restart(enum reboot_mode mode, const char *cmd); | |
| void __init c2k_map_io(void); | |
| void c2k_gic_of_init(void); | |
| extern void c2k_reserve(void); |