taglinefilesource code
check_pending148kernel/signal.ccheck_pending(signum);
check_pending182kernel/signal.ccheck_pending(signum);