taglinefilesource code
check_pending131kernel/signal.ccheck_pending(signum);
check_pending168kernel/signal.ccheck_pending(signum);