tag	line	file	source code
sem_exit	663	ipc/sem.c	void sem_exit (void)
sem_exit	159	ipc/util.c	void sem_exit (void)