tag	line	file	source code
sem_exit	463	ipc/sem.c	void sem_exit (void)
sem_exit	131	ipc/util.c	void sem_exit (void)