30         .map(|x| x as u64)  in sys_socket()
71     let fd = current_pcb().alloc_fd(f, None).map(|x| x as i64);  in do_socket()
84         .map(|x| x as u64)  in sys_setsockopt()
114     return socket.setsockopt(level, optname, data).map(|_| 0);  in do_setsockopt()
125         .map(|x| x as u64)  in sys_getsockopt()
219         .map(|x| x as u64)  in sys_connect()
247         .map(|x| x as u64)  in sys_bind()
284     .map(|x| x as u64)  in sys_sendto()
320     return socket.write(buf, endpoint).map(|n| n as i64);  in do_sendto()
339     .map(|x| x as u64)  in sys_recvfrom()
400         .map(|x| x as i64)  in sys_recvmsg()
447         .map(|x| x as i64)  in sys_listen()
471         .map(|x| x as u64)  in sys_shutdown()
496         .map(|x| x as u64)  in sys_accept()
539         .map(|x| x as i64)  in sys_getsockname()
581         .map(|x| x as u64)  in sys_getpeername()