tag
line
file
source code
sem_exit
20
kernel/exit.c
extern void sem_exit (void);
sem_exit
404
kernel/exit.c
sem_exit();