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