__booke_wdt_ping  126 drivers/watchdog/booke_wdt.c 	on_each_cpu(__booke_wdt_ping, NULL, 0);
__booke_wdt_ping  137 drivers/watchdog/booke_wdt.c 	__booke_wdt_ping(NULL);
__booke_wdt_ping  162 drivers/watchdog/booke_wdt.c 	__booke_wdt_ping(NULL);