Searched defs:wdt_smc_handler (Results 1 – 2 of 2) sorted by relevance
92 uint64_t wdt_smc_handler(uint32_t x1, in wdt_smc_handler() function