taglinefilesource code
check_pending173kernel/signal.ccheck_pending(signum);
check_pending202kernel/signal.ccheck_pending(signum);