wdrtas_token_event_scan   51 drivers/watchdog/wdrtas.c static int wdrtas_token_event_scan;
wdrtas_token_event_scan  161 drivers/watchdog/wdrtas.c 		result = rtas_call(wdrtas_token_event_scan, 4, 1, NULL,
wdrtas_token_event_scan  531 drivers/watchdog/wdrtas.c 	wdrtas_token_event_scan = rtas_token("event-scan");
wdrtas_token_event_scan  532 drivers/watchdog/wdrtas.c 	if (wdrtas_token_event_scan == RTAS_UNKNOWN_SERVICE) {