tag	line	file	source code
sys_shmdt	32	ipc/util.c	extern int sys_shmdt (char *shmaddr);
sys_shmdt	138	ipc/util.c	return sys_shmdt ((char *)ptr);