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