void s5pc100_restart(enum reboot_mode mode, const char *cmd)
{
	if (mode != REBOOT_SOFT)
		samsung_wdt_reset();

	soft_restart(0);
}
Esempio n. 2
0
void s5pc100_restart(char mode, const char *cmd)
{
	if (mode != 's')
		samsung_wdt_reset();

	soft_restart(0);
}
Esempio n. 3
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);
}
Esempio n. 4
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);
}
Esempio n. 5
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);
}