Lines Matching full:monitors

38  * In Linux terms, the runtime verification monitors are encapsulated
64  * This file implements the interface for loading RV monitors, and
67  * == Registering monitors ==
86  *    - List the available monitors, one per line.
94  *    - Lists the enabled monitors, one per line;
97  *    - Truncating the file disables all enabled monitors.
117  *    that it does not disable enabled monitors or detach events,
118  *    but stops the per-entity monitors from monitoring the events
122  *  "monitors/"
123  *    Each monitor will have its own directory inside "monitors/". There
125  *    The "monitors/" directory resembles the "events" directory on
129  *      # cd monitors/wip/
314  * Interface to read monitors description.
446  * available/enabled monitors seq definition.
586 	/* Ensures that concurrent monitors read consistent monitoring_on */  in rv_monitoring_on()
607 	/* Ensures that concurrent monitors read consistent monitoring_on */  in turn_monitoring_off()
624 	/* Ensures that concurrent monitors read consistent monitoring_on */  in turn_monitoring_on()
636 	 * Monitors might be out of sync with the system if events were not  in turn_monitoring_on_with_reset()
639 	 * Reset all monitors, forcing a re-sync.  in turn_monitoring_on_with_reset()
766 	rv_root.monitors_dir = rv_create_dir("monitors", rv_root.root_dir);  in rv_init_interface()