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