Searched refs:SMC_RESET_WATCHDOG_TIMER (Results 1 – 2 of 2) sorted by relevance
111 SMC_RESET_WATCHDOG_TIMER = 0x22, enumerator
396 (void) smc_init_smc_msg(&req_pkt, SMC_RESET_WATCHDOG_TIMER, in wd_pat()457 (void) smc_init_smc_msg(&req_pkt, SMC_RESET_WATCHDOG_TIMER, in wd_start()1417 wd_cmdspec.args[1] = SMC_RESET_WATCHDOG_TIMER; in wd_open()