Lines Matching defs:task

23 static void rv_cond_react(struct task_struct *task)  in rv_cond_react()
31 static void rv_cond_react(struct task_struct *task)  in rv_cond_react()
41 static struct ltl_monitor *ltl_get_monitor(struct task_struct *task)  in ltl_get_monitor()
46 static void ltl_task_init(struct task_struct *task, bool task_creation)  in ltl_task_init()
59 static void handle_task_newtask(void *data, struct task_struct *task, unsigned long flags)  in handle_task_newtask()
98 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()
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()
163 static void ltl_atom_update(struct task_struct *task, enum ltl_atom atom, bool value)  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()