pnx833x_machine_restart   22 arch/mips/pnx833x/common/setup.c extern void pnx833x_machine_restart(char *);
pnx833x_machine_restart   36 arch/mips/pnx833x/common/setup.c 	_machine_restart = pnx833x_machine_restart;