Symbol: __booke_wdt_ping
drivers/watchdog/booke_wdt.c
131
on_each_cpu(__booke_wdt_ping, NULL, 0);
drivers/watchdog/booke_wdt.c
142
__booke_wdt_ping(NULL);
drivers/watchdog/booke_wdt.c
167
__booke_wdt_ping(NULL);