pnx833x_machine_halt   30 arch/mips/pnx833x/common/reset.c 	pnx833x_machine_halt();
pnx833x_machine_halt   23 arch/mips/pnx833x/common/setup.c extern void pnx833x_machine_halt(void);
pnx833x_machine_halt   37 arch/mips/pnx833x/common/setup.c 	_machine_halt = pnx833x_machine_halt;