Symbol: tx_reboot
sys/arch/hpcmips/tx/tx39.c
115
platform.reboot = tx_reboot;
sys/arch/hpcmips/tx/tx39.c
97
void tx_reboot(int, char *);