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