From 92bcba4b0bb5b3f93a7ff3431749c43113951c2e Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 30 Dec 2015 19:08:20 +0100 Subject: sys: implement fixed-size arrays --- sys/socket.txt | 25 +++---------------------- 1 file changed, 3 insertions(+), 22 deletions(-) (limited to 'sys/socket.txt') diff --git a/sys/socket.txt b/sys/socket.txt index 63ac3c61e..f65bc94cd 100644 --- a/sys/socket.txt +++ b/sys/socket.txt @@ -18,8 +18,8 @@ recvmsg(fd fd[sock], msg ptr[in, recv_msghdr], f flags[recv_flags]) recvmmsg(fd fd[sock], mmsg ptr[in, array[recv_msghdr]], vlen len[mmsg], f flags[recv_flags]) getsockname(fd fd[sock], addr ptr[out, sockaddr], addrlen ptr[inout, len[addr, int32]]) getpeername(fd fd[sock], peer ptr[out, sockaddr], peerlen ptr[inout, len[peer, int32]]) -getsockopt(fd fd[sock], level int32, optname int32, optval ptr[out, ioctl_arg], optlen ptr[inout, len[optval, int32]]) -setsockopt(fd fd[sock], level int32, optname int32, optval ptr[in, ioctl_arg], optlen len[optval]) +getsockopt(fd fd[sock], level int32, optname int32, optval buffer[out], optlen ptr[inout, len[optval, int32]]) +setsockopt(fd fd[sock], level int32, optname int32, optval buffer[in], optlen len[optval]) ioctl$SIOCOUTQ(fd fd[sock], cmd const[SIOCOUTQ], arg ptr[out, int32]) ioctl$SIOCINQ(fd fd[sock], cmd const[SIOCINQ], arg ptr[out, int32]) @@ -360,26 +360,7 @@ sockaddr_nfc_llcp { proto flags[nfc_proto, int32] dsap int8 ssap int8 -# TODO: need fixed-length arrays -# char service_name[63] - serv0 int8 - serv1 int8 - serv2 int32 - serv3 int32 - serv4 int32 - serv5 int32 - serv6 int32 - serv7 int32 - serv8 int32 - serv9 int32 - serv10 int32 - serv11 int32 - serv12 int32 - serv13 int32 - serv14 int32 - serv15 int32 - serv16 int32 - serv17 int8 + serv array[int8, 63] servlen intptr } -- cgit mrf-deployment