Searched refs:wdt_smc_handler (Results 1 – 3 of 3) sorted by relevance
16 uint64_t wdt_smc_handler(uint32_t x1, uint32_t x2, void *handle);
92 uint64_t wdt_smc_handler(uint32_t x1, in wdt_smc_handler() function
107 return wdt_smc_handler(x1, x2, handle); in mediatek_plat_sip_handler()