Searched refs:ltl_attempt_start (Results 1 – 1 of 1) sorted by relevance
104 static void ltl_attempt_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_attempt_start() function171 ltl_attempt_start(task, mon); in ltl_atom_update()