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