bcm63xx_machine_reboot  127 arch/mips/bcm63xx/setup.c 	bcm63xx_machine_reboot();
bcm63xx_machine_reboot 1066 arch/mips/include/asm/mach-bcm63xx/bcm63xx_cpu.h void bcm63xx_machine_reboot(void);