tag	line	file	source code
sys_semctl	24	ipc/util.c	extern int sys_semctl (int semid, int semnum, int cmd, void *arg);
sys_semctl	80	ipc/util.c	return sys_semctl (first, second, third, ptr);