Searched defs:mon (Results 1 – 3 of 3) sorted by relevance
48 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_task_init() local98 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() local180 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_atom_pulse() local
58 static inline bool rv_ltl_valid_state(struct ltl_monitor *mon) in rv_ltl_valid_state()67 static inline bool rv_ltl_all_atoms_known(struct ltl_monitor *mon) in rv_ltl_all_atoms_known()
89 char *mon; member
Completed in 5 milliseconds