taglinefilesource code
check_pending132kernel/signal.ccheck_pending(signum);
check_pending171kernel/signal.ccheck_pending(signum);