Lines Matching refs:task
23 static void rv_cond_react(struct task_struct *task) in rv_cond_react() argument
28 task->comm, task->pid); in rv_cond_react()
31 static void rv_cond_react(struct task_struct *task) in rv_cond_react() argument
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() argument
43 return &task->rv[ltl_monitor_slot].ltl_mon; in ltl_get_monitor()
46 static void ltl_task_init(struct task_struct *task, bool task_creation) in ltl_task_init() argument
48 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_task_init()
55 ltl_atoms_init(task, mon, task_creation); in ltl_task_init()
56 ltl_atoms_fetch(task, mon); in ltl_task_init()
59 static void handle_task_newtask(void *data, struct task_struct *task, unsigned long flags) in handle_task_newtask() argument
61 ltl_task_init(task, true); in handle_task_newtask()
98 static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon) in ltl_illegal_state() argument
100 CONCATENATE(trace_error_, MONITOR_NAME)(task); in ltl_illegal_state()
101 rv_cond_react(task); in ltl_illegal_state()
104 static void ltl_attempt_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_attempt_start() argument
107 ltl_start(task, mon); in ltl_attempt_start()
120 ltl_trace_event(struct task_struct *task, struct ltl_monitor *mon, unsigned long *next_state) in ltl_trace_event() argument
140 CONCATENATE(trace_event_, MONITOR_NAME)(task, states, atoms.buffer, next); in ltl_trace_event()
143 static void ltl_validate(struct task_struct *task, struct ltl_monitor *mon) in ltl_validate() argument
155 ltl_trace_event(task, mon, next_states); in ltl_validate()
160 ltl_illegal_state(task, mon); in ltl_validate()
163 static void ltl_atom_update(struct task_struct *task, enum ltl_atom atom, bool value) in ltl_atom_update() argument
165 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_atom_update()
168 ltl_atoms_fetch(task, mon); in ltl_atom_update()
171 ltl_attempt_start(task, mon); in ltl_atom_update()
175 ltl_validate(task, mon); in ltl_atom_update()
178 static void __maybe_unused ltl_atom_pulse(struct task_struct *task, enum ltl_atom atom, bool value) in ltl_atom_pulse() argument
180 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_atom_pulse()
182 ltl_atom_update(task, atom, value); in ltl_atom_pulse()
185 ltl_validate(task, mon); in ltl_atom_pulse()