wdrtas_token_get_sensor_state   46 drivers/watchdog/wdrtas.c static int wdrtas_token_get_sensor_state;
wdrtas_token_get_sensor_state  298 drivers/watchdog/wdrtas.c 		if (wdrtas_token_get_sensor_state == RTAS_UNKNOWN_SERVICE)
wdrtas_token_get_sensor_state  514 drivers/watchdog/wdrtas.c 	wdrtas_token_get_sensor_state = rtas_token("get-sensor-state");
wdrtas_token_get_sensor_state  515 drivers/watchdog/wdrtas.c 	if (wdrtas_token_get_sensor_state == RTAS_UNKNOWN_SERVICE) {
wdrtas_token_get_sensor_state  549 drivers/watchdog/wdrtas.c 	if (wdrtas_token_get_sensor_state != RTAS_UNKNOWN_SERVICE)
wdrtas_token_get_sensor_state  571 drivers/watchdog/wdrtas.c 	if (wdrtas_token_get_sensor_state != RTAS_UNKNOWN_SERVICE) {
wdrtas_token_get_sensor_state  575 drivers/watchdog/wdrtas.c 			wdrtas_token_get_sensor_state = RTAS_UNKNOWN_SERVICE;