Searched refs:scdf_add_to_worklist (Results 1 – 2 of 2) sorted by relevance
55 static inline void scdf_add_to_worklist(scdf_ctx *scdf, int var_num) { in scdf_add_to_worklist() function
168 scdf_add_to_worklist(scdf, var); in set_value()178 scdf_add_to_worklist(scdf, var); in set_value()
Completed in 16 milliseconds