Lines Matching defs:mon

24 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon);
25 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation);
34 	struct ltl_monitor *mon = ltl_get_monitor(task);
36 	memset(&mon->states, 0, sizeof(mon->states));
39 		__set_bit(i, mon->unknown_atoms);
41 	ltl_atoms_init(task, mon, task_creation);
42 	ltl_atoms_fetch(task, mon);
85 static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon)
92 static void ltl_attempt_start(struct task_struct *task, struct ltl_monitor *mon)
94 	if (rv_ltl_all_atoms_known(mon))
95 		ltl_start(task, mon);
98 static inline void ltl_atom_set(struct ltl_monitor *mon, enum ltl_atom atom, bool value)
100 	__clear_bit(atom, mon->unknown_atoms);
102 		__set_bit(atom, mon->atoms);
104 		__clear_bit(atom, mon->atoms);
108 ltl_trace_event(struct task_struct *task, struct ltl_monitor *mon, unsigned long *next_state)
118 	snprintf(states, sizeof(states), "%*pbl", RV_MAX_BA_STATES, mon->states);
122 		if (test_bit(i, mon->atoms)) {
131 static void ltl_validate(struct task_struct *task, struct ltl_monitor *mon)
135 	if (!rv_ltl_valid_state(mon))
139 		if (test_bit(i, mon->states))
140 			ltl_possible_next_states(mon, i, next_states);
143 	ltl_trace_event(task, mon, next_states);
145 	memcpy(mon->states, next_states, sizeof(next_states));
147 	if (!rv_ltl_valid_state(mon))
148 		ltl_illegal_state(task, mon);
153 	struct ltl_monitor *mon = ltl_get_monitor(task);
155 	ltl_atom_set(mon, atom, value);
156 	ltl_atoms_fetch(task, mon);
158 	if (!rv_ltl_valid_state(mon)) {
159 		ltl_attempt_start(task, mon);
163 	ltl_validate(task, mon);
168 	struct ltl_monitor *mon = ltl_get_monitor(task);
172 	ltl_atom_set(mon, atom, !value);
173 	ltl_validate(task, mon);