txx9_machine_halt  503 arch/mips/txx9/generic/setup.c 	_machine_restart = (void (*)(char *))txx9_machine_halt;
txx9_machine_halt  504 arch/mips/txx9/generic/setup.c 	_machine_halt = txx9_machine_halt;
txx9_machine_halt  505 arch/mips/txx9/generic/setup.c 	pm_power_off = txx9_machine_halt;