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