tag	line	file	source code
sys_msgctl	30	ipc/util.c	extern int sys_msgctl (int msqid, int cmd, struct msqid_ds *buf);
sys_msgctl	116	ipc/util.c	return sys_msgctl (first, second, (struct msqid_ds *) ptr);