include/rv/da_monitor.h

5  * Deterministic automata (DA) monitor functions, to be used together
27 		 "rv: monitor %s does not allow event %s on state %s\n",			\
72  * da_monitor_reset_##name - reset a monitor and setting it to init state			\
100  * The monitor will ignore all events until monitoring is set to true. This			\
101  * function needs to be called to tell the monitor to start monitoring.				\
110  * da_monitoring_##name - returns true if the monitor is processing events			\
118  * da_monitor_enabled_##name - checks if the monitor is enabled					\
126 	/* monitor enabled */									\
134  * da_monitor_handling_event_##name - checks if the monitor is ready to handle events		\
142 	/* monitor is actually monitoring */							\
150  * Event handler for implicit monitors. Implicit monitor is the one which the
152  * of implicit monitor are the per_cpu or the global ones.
216  * Functions to define, init and get a global monitor.
221  * global monitor (a single variable)								\
226  * da_get_monitor_##name - return the global monitor address					\
234  * da_monitor_reset_all_##name - reset the single monitor					\
242  * da_monitor_init_##name - initialize a monitor						\
251  * da_monitor_destroy_##name - destroy the monitor						\
259  * Functions to define, init and get a per-cpu monitor.
264  * per-cpu monitor variables									\
269  * da_get_monitor_##name - return current CPU monitor address					\
277  * da_monitor_reset_all_##name - reset all CPUs' monitor					\
290  * da_monitor_init_##name - initialize all CPUs' monitor					\
299  * da_monitor_destroy_##name - destroy the monitor						\
307  * Functions to define, init and get a per-task monitor.
312  * The per-task monitor is stored a vector in the task struct. This variable			\
313  * stores the position on the vector reserved for this monitor.					\
318  * da_get_monitor_##name - return the monitor in the allocated slot for tsk 			\
339  * da_monitor_init_##name - initialize the per-task monitor					\
342  * is an available slot, use it and reset all task's monitor.					\
364 		WARN_ONCE(1, "Disabling a disabled monitor: " #name);				\
373  * Handle event for implicit monitor: da_get_monitor_##name() will figure out
374  * the monitor.
406  * This function is used to notify the monitor that the system is returning			\
407  * to the initial state, so the monitor can start monitoring in the next event.			\
410  * If the monitor already started, handle the event.						\
411  * If the monitor did not start yet, start the monitor but skip the event.			\
435  * This function is used to notify the monitor that the system is in the			\
436  * initial state, so the monitor can start monitoring and handling event.			\
490  * This function is used to notify the monitor that the system is returning			\
491  * to the initial state, so the monitor can start monitoring in the next event.			\
494  * If the monitor already started, handle the event.						\
495  * If the monitor did not start yet, start the monitor but skip the event.			\
518  * Entry point for the global monitor.
529  * Entry point for the per-cpu monitor.
540  * Entry point for the per-task monitor.