void s5pc100_restart(enum reboot_mode mode, const char *cmd) { if (mode != REBOOT_SOFT) samsung_wdt_reset(); soft_restart(0); }
void s5pc100_restart(char mode, const char *cmd) { if (mode != 's') samsung_wdt_reset(); soft_restart(0); }
void s3c64xx_restart(enum reboot_mode mode, const char *cmd) { if (mode != REBOOT_SOFT) samsung_wdt_reset(); /* if all else fails, or mode was for soft, jump to 0 */ soft_restart(0); }
void s3c244x_restart(enum reboot_mode mode, const char *cmd) { if (mode == REBOOT_SOFT) soft_restart(0); samsung_wdt_reset(); /* we'll take a jump through zero as a poor second */ soft_restart(0); }
void s3c244x_restart(char mode, const char *cmd) { if (mode == 's') soft_restart(0); samsung_wdt_reset(); /* we'll take a jump through zero as a poor second */ soft_restart(0); }