tag	line	file	source code
call	845	net/socket.c	sys_socketcall(int call, unsigned long *args)
call	847	net/socket.c	switch (call) {