tag	line	file	source code
sem_exit	477	ipc/sem.c	void sem_exit (void)
sem_exit	156	ipc/util.c	void sem_exit (void)