Lines Matching refs:ltl_monitor
38 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon);
39 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation);
41 static struct ltl_monitor *ltl_get_monitor(struct task_struct *task) in ltl_get_monitor()
48 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_task_init()
98 static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon) in ltl_illegal_state()
104 static void ltl_attempt_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_attempt_start()
110 static inline void ltl_atom_set(struct ltl_monitor *mon, enum ltl_atom atom, bool value) in ltl_atom_set()
120 ltl_trace_event(struct task_struct *task, struct ltl_monitor *mon, unsigned long *next_state) in ltl_trace_event()
143 static void ltl_validate(struct task_struct *task, struct ltl_monitor *mon) in ltl_validate()
165 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_atom_update()
180 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_atom_pulse()