tag	line	file	source code
sys_socket	586	net/socket.c	if ((fd1 = sys_socket(family, type, protocol)) < 0)
sys_socket	599	net/socket.c	if ((fd2 = sys_socket(family, type, protocol)) < 0)
sys_socket	1201	net/socket.c	return(sys_socket(a0,a1,get_user(args+2)));