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