Searched refs:trace_error_ (Results 1 – 2 of 2) sorted by relevance
130 trace_error_##name(model_get_state_name_##name(curr_state), \169 trace_error_##name(tsk->pid, \
100 CONCATENATE(trace_error_, MONITOR_NAME)(task); in ltl_illegal_state() local