cpu_reboot
cpu_reboot(RB_HALT | RB_NOSYNC, NULL);
extern void cpu_reboot(int, char *);
void cpu_reboot(void);
cpu_reboot(RB_HALT, NULL);
__weak_alias(cpu_reboot,cpu_reboot_common);
cpu_reboot(RB_HALT, NULL);
extern void cpu_reboot(int, char *);
void (*cpu_reboot)(int); /* Cpu dependent reboot call */
.cpu_reboot = ka410_reboot,
.cpu_reboot = ka43_reboot,
.cpu_reboot = ka46_reboot,
.cpu_reboot = ka48_reboot,
.cpu_reboot = ka49_reboot,
.cpu_reboot = generic_reboot,
.cpu_reboot = ka610_reboot,
.cpu_reboot = ka630_reboot,
.cpu_reboot = ka650_reboot,
.cpu_reboot = generic_reboot,
.cpu_reboot = generic_reboot,
.cpu_reboot = generic_reboot,
.cpu_reboot = ka86_reboot,
if (dep_call->cpu_reboot)
(*dep_call->cpu_reboot)(showto);
cpu_reboot(howto, bootstr);
void cpu_reboot(int, char *) __dead;