Searched refs:ltl_trace_event (Results 1 – 1 of 1) sorted by relevance
107 ltl_trace_event(struct task_struct *task, struct ltl_monitor *mon, unsigned long *next_state) in ltl_trace_event() function142 ltl_trace_event(task, mon, next_states); in ltl_validate()