Lines Matching refs:event
23 static inline char *format_react_msg_##name(type curr_state, type event) \
26 "rv: monitor %s does not allow event %s on state %s\n", \
28 model_get_event_name_##name(event), \
47 static inline char *format_react_msg_##name(type curr_state, type event) \
156 da_event_##name(struct da_monitor *da_mon, enum events_##name event) \
159 type next_state = model_get_next_state_##name(curr_state, event); \
165 model_get_event_name_##name(event), \
173 cond_react_##name(format_react_msg_##name(curr_state, event)); \
176 model_get_event_name_##name(event)); \
187 enum events_##name event) \
190 type next_state = model_get_next_state_##name(curr_state, event); \
197 model_get_event_name_##name(event), \
205 cond_react_##name(format_react_msg_##name(curr_state, event)); \
209 model_get_event_name_##name(event)); \
369 * Handle event for implicit monitor: da_get_monitor_##name() will figure out
375 enum events_##name event) \
379 retval = da_event_##name(da_mon, event); \
385 * da_handle_event_##name - handle an event \
387 static inline void da_handle_event_##name(enum events_##name event) \
396 __da_handle_event_##name(da_mon, event); \
400 * da_handle_start_event_##name - start monitoring or handle event \
403 * to the initial state, so the monitor can start monitoring in the next event. \
406 * If the monitor already started, handle the event. \
407 * If the monitor did not start yet, start the monitor but skip the event. \
409 static inline bool da_handle_start_event_##name(enum events_##name event) \
423 __da_handle_event_##name(da_mon, event); \
429 * da_handle_start_run_event_##name - start monitoring and handle event \
432 * initial state, so the monitor can start monitoring and handling event. \
434 static inline bool da_handle_start_run_event_##name(enum events_##name event) \
446 __da_handle_event_##name(da_mon, event); \
452 * Handle event for per task.
458 enum events_##name event) \
462 retval = da_event_##name(da_mon, tsk, event); \
468 * da_handle_event_##name - handle an event \
471 da_handle_event_##name(struct task_struct *tsk, enum events_##name event) \
480 __da_handle_event_##name(da_mon, tsk, event); \
484 * da_handle_start_event_##name - start monitoring or handle event \
487 * to the initial state, so the monitor can start monitoring in the next event. \
490 * If the monitor already started, handle the event. \
491 * If the monitor did not start yet, start the monitor but skip the event. \
494 da_handle_start_event_##name(struct task_struct *tsk, enum events_##name event) \
508 __da_handle_event_##name(da_mon, tsk, event); \