taglinefilesource code
sem_exit20kernel/exit.cextern void sem_exit (void);
sem_exit384kernel/exit.csem_exit();