include/rv/da_monitor.h

5  * Deterministic automata (DA) monitor functions, to be used together
26 		 "rv: monitor %s does not allow event %s on state %s\n",			\
71  * da_monitor_reset_##name - reset a monitor and setting it to init state			\
99  * The monitor will ignore all events until monitoring is set to true. This			\
100  * function needs to be called to tell the monitor to start monitoring.				\
109  * da_monitoring_##name - returns true if the monitor is processing events			\
117  * da_monitor_enabled_##name - checks if the monitor is enabled					\
125 	/* monitor enabled */									\
133  * da_monitor_handling_event_##name - checks if the monitor is ready to handle events		\
141 	/* monitor is actually monitoring */							\
149  * Event handler for implicit monitors. Implicit monitor is the one which the
151  * of implicit monitor are the per_cpu or the global ones.
215  * Functions to define, init and get a global monitor.
220  * global monitor (a single variable)								\
225  * da_get_monitor_##name - return the global monitor address					\
233  * da_monitor_reset_all_##name - reset the single monitor					\
241  * da_monitor_init_##name - initialize a monitor						\
250  * da_monitor_destroy_##name - destroy the monitor						\
258  * Functions to define, init and get a per-cpu monitor.
263  * per-cpu monitor variables									\
268  * da_get_monitor_##name - return current CPU monitor address					\
276  * da_monitor_reset_all_##name - reset all CPUs' monitor					\
289  * da_monitor_init_##name - initialize all CPUs' monitor					\
298  * da_monitor_destroy_##name - destroy the monitor						\
306  * Functions to define, init and get a per-task monitor.
311  * The per-task monitor is stored a vector in the task struct. This variable			\
312  * stores the position on the vector reserved for this monitor.					\
317  * da_get_monitor_##name - return the monitor in the allocated slot for tsk 			\
335  * da_monitor_init_##name - initialize the per-task monitor					\
338  * is an available slot, use it and reset all task's monitor.					\
360 		WARN_ONCE(1, "Disabling a disabled monitor: " #name);				\
369  * Handle event for implicit monitor: da_get_monitor_##name() will figure out
370  * the monitor.
402  * This function is used to notify the monitor that the system is returning			\
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.			\
431  * This function is used to notify the monitor that the system is in the			\
432  * initial state, so the monitor can start monitoring and handling event.			\
486  * This function is used to notify the monitor that the system is returning			\
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.			\
514  * Entry point for the global monitor.
525  * Entry point for the per-cpu monitor.
536  * Entry point for the per-task monitor.