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