tag	line	file	source code
sem_exit	468	ipc/sem.c	void sem_exit (void)
sem_exit	135	ipc/util.c	void sem_exit (void)