REBOOT_COMMAND     57 drivers/watchdog/sbc_fitpc2_wdt.c 	wdt_send_data(REBOOT_COMMAND, margin);
REBOOT_COMMAND     65 drivers/watchdog/sbc_fitpc2_wdt.c 	wdt_send_data(REBOOT_COMMAND, 0);