Symbol: txx9_machine_halt
arch/mips/txx9/generic/setup.c
434
_machine_restart = (void (*)(char *))txx9_machine_halt;
arch/mips/txx9/generic/setup.c
435
_machine_halt = txx9_machine_halt;
arch/mips/txx9/generic/setup.c
436
pm_power_off = txx9_machine_halt;