Searched refs:ltl_start (Results 1 – 3 of 3) sorted by relevance
37 static void ltl_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_start() function
107 ltl_start(task, mon); in ltl_attempt_start()
76 static void ltl_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_start() function