taglinefilesource code
WNOHANG515kernel/exit.cif (options & WNOHANG)
WNOHANG233kernel/signal.cwhile (sys_waitpid(-1,NULL,WNOHANG) > 0)