static int f_reset() { SYS_reboot(REBOOT_USER); return 0; }
static s32_t cli_reset(u32_t argc) { SYS_reboot(REBOOT_USER); return CLI_OK; }
static int f_reset() { SYS_reboot(REBOOT_USER); return 0; }
static s32_t cli_reset(u32_t argc) { SYS_reboot(REBOOT_USER); return CLI_OK; }