46 	int flags;  in get_sock_flags()  local
86 make_sock_fd(dev_t dev, int flags)  in make_sock_fd()
180 	int r, flags;  in do_socket()  local
228 	int r, fd0, fd1, flags;  in do_socketpair()  local
276 get_sock(int fd, dev_t * dev, int * flags)  in get_sock()
311 	int r, fd, flags;  in do_bind()  local
329 	int r, fd, flags;  in do_connect()  local
368 	int r, fd, flags;  in do_accept()  local
404 	int r, flags;  in resume_accept()  local
486 	int r, fd, flags;  in do_sendto()  local
507 	int r, fd, flags;  in do_recvfrom()  local
550 	int r, fd, flags;  in do_sockmsg()  local
609 	unsigned int addr_len, int flags, vir_bytes msg_buf)  in resume_recvmsg()