1 /* SPDX-License-Identifier: GPL-2.0 */
28 			      task->comm, task->pid);  in rv_cond_react()
43 	return &task->rv[ltl_monitor_slot].ltl_mon;  in ltl_get_monitor()
50 	memset(&mon->states, 0, sizeof(mon->states));  in ltl_task_init()
53 		__set_bit(i, mon->unknown_atoms);  in ltl_task_init()
66 	struct task_struct *g, *p;  in ltl_monitor_init()  local
79 	for_each_process_thread(g, p)  in ltl_monitor_init()
80 		ltl_task_init(p, false);  in ltl_monitor_init()
112 	__clear_bit(atom, mon->unknown_atoms);  in ltl_atom_set()
114 		__set_bit(atom, mon->atoms);  in ltl_atom_set()
116 		__clear_bit(atom, mon->atoms);  in ltl_atom_set()
124 	char states[32], next[32];  in ltl_trace_event()  local
130 	snprintf(states, sizeof(states), "%*pbl", RV_MAX_BA_STATES, mon->states);  in ltl_trace_event()
134 		if (test_bit(i, mon->atoms)) {  in ltl_trace_event()
140 	CONCATENATE(trace_event_, MONITOR_NAME)(task, states, atoms.buffer, next);  in ltl_trace_event()
151 		if (test_bit(i, mon->states))  in ltl_validate()
157 	memcpy(mon->states, next_states, sizeof(next_states));  in ltl_validate()