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);
27 static struct ltl_monitor *ltl_get_monitor(struct task_struct *task)  in ltl_get_monitor()  argument
29 	return &task->rv[ltl_monitor_slot].ltl_mon;  in ltl_get_monitor()
32 static void ltl_task_init(struct task_struct *task, bool task_creation)  in ltl_task_init()  argument
34 	struct ltl_monitor *mon = ltl_get_monitor(task);  in ltl_task_init()
41 	ltl_atoms_init(task, mon, task_creation);  in ltl_task_init()
42 	ltl_atoms_fetch(task, mon);  in ltl_task_init()
45 static void handle_task_newtask(void *data, struct task_struct *task, u64 flags)  in handle_task_newtask()  argument
47 	ltl_task_init(task, true);  in handle_task_newtask()
84 static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon)  in ltl_illegal_state()  argument
86 	CONCATENATE(trace_error_, MONITOR_NAME)(task);  in ltl_illegal_state()
88 		 task->comm, task->pid);  in ltl_illegal_state()
91 static void ltl_attempt_start(struct task_struct *task, struct ltl_monitor *mon)  in ltl_attempt_start()  argument
94 		ltl_start(task, mon);  in ltl_attempt_start()
107 ltl_trace_event(struct task_struct *task, struct ltl_monitor *mon, unsigned long *next_state)  in ltl_trace_event()  argument
127 	CONCATENATE(trace_event_, MONITOR_NAME)(task, states, atoms.buffer, next);  in ltl_trace_event()
130 static void ltl_validate(struct task_struct *task, struct ltl_monitor *mon)  in ltl_validate()  argument
142 	ltl_trace_event(task, mon, next_states);  in ltl_validate()
147 		ltl_illegal_state(task, mon);  in ltl_validate()
150 static void ltl_atom_update(struct task_struct *task, enum ltl_atom atom, bool value)  in ltl_atom_update()  argument
152 	struct ltl_monitor *mon = ltl_get_monitor(task);  in ltl_atom_update()
155 	ltl_atoms_fetch(task, mon);  in ltl_atom_update()
158 		ltl_attempt_start(task, mon);  in ltl_atom_update()
162 	ltl_validate(task, mon);  in ltl_atom_update()
165 static void __maybe_unused ltl_atom_pulse(struct task_struct *task, enum ltl_atom atom, bool value)  in ltl_atom_pulse()  argument
167 	struct ltl_monitor *mon = ltl_get_monitor(task);  in ltl_atom_pulse()
169 	ltl_atom_update(task, atom, value);  in ltl_atom_pulse()
172 	ltl_validate(task, mon);  in ltl_atom_pulse()