Searched refs:SMC_GET_WATCHDOG_TIMER (Results 1 – 2 of 2) sorted by relevance
114 SMC_GET_WATCHDOG_TIMER = 0x25, enumerator
186 (void) smc_init_smc_msg(&req_pkt, SMC_GET_WATCHDOG_TIMER, in wd_get_reg_dump()