__sys_socket
extern int __sys_socket(int family, int type, int protocol);
ret = __sys_socket(a0, a1, a[2]);
return __sys_socket(family, type, protocol);
err = __sys_socket(a0, a1, a[2]);
extern int __sys_socket(int family, int type, int protocol);