wait_for_completion  134 kernel/sched/completion.c void __sched wait_for_completion(struct completion *x)
wait_for_completion  190 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h static inline void wait_for_completion(struct completion *c)