thread_sleep 609 kernel/generic/src/proc/thread.c void thread_sleep(uint32_t sec) thread_sleep 186 uspace/lib/c/generic/thread/thread.c void thread_sleep(sec_t sec)