Searched refs:pic32_machine_restart (Results 1 – 1 of 1) sorted by relevance
24 static void pic32_machine_restart(char *command) in pic32_machine_restart() function47 _machine_restart = pic32_machine_restart; in mips_reboot_setup()