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