Searched refs:wd_event_name (Results 1 – 6 of 6) sorted by relevance
200 char *wd_event_name[] = variable5122 wd_event_name[event], wd_state_names[get_local_node_state()]))); in watchdog_state_machine()
173 char *wd_event_name[] = variable4962 wd_event_name[event], wd_state_names[get_local_node_state()]))); in watchdog_state_machine()
197 char *wd_event_name[] = variable4858 wd_event_name[event], wd_state_names[get_local_node_state()]))); in watchdog_state_machine()
200 char *wd_event_name[] = variable5081 wd_event_name[event], wd_state_names[get_local_node_state()]))); in watchdog_state_machine()
204 char *wd_event_name[] = variable5279 wd_event_name[event], wd_state_names[get_local_node_state()]))); in watchdog_state_machine()
206 char *wd_event_name[] = variable5440 wd_event_name[event], wd_state_names[get_local_node_state()]))); in watchdog_state_machine()