From 13266cc0b604fed3d5f9fc73e9f804091e5c1ac6 Mon Sep 17 00:00:00 2001 From: Andrey Konovalov Date: Thu, 2 Feb 2017 19:19:32 +0100 Subject: prog, sys: add udp description and checksum --- sys/socket.txt | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) (limited to 'sys/socket.txt') diff --git a/sys/socket.txt b/sys/socket.txt index de9f44564..075f0536c 100644 --- a/sys/socket.txt +++ b/sys/socket.txt @@ -214,6 +214,26 @@ tcp_pair { f1 sock_tcp } +# AF_INET: UDP support + +resource sock_udp[sock] + +socket$udp(domain const[AF_INET], type const[SOCK_DGRAM], proto const[0]) sock_udp +socketpair$udp(domain const[AF_INET], type const[SOCK_DGRAM], proto const[0], fds ptr[out, udp_pair]) +accept$udp(fd sock_udp, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]]) sock_udp +accept4$udp(fd sock_udp, peer ptr[out, sockaddr_in, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_udp +bind$udp(fd sock_udp, addr ptr[in, sockaddr_in], addrlen len[addr]) +connect$udp(fd sock_udp, addr ptr[in, sockaddr_in], addrlen len[addr]) +sendto$udp(fd sock_udp, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr]) +recvfrom$udp(fd sock_udp, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in, opt], addrlen len[addr]) +getsockname$udp(fd sock_udp, addr ptr[out, sockaddr_in], addrlen ptr[inout, len[addr, int32]]) +getpeername$udp(fd sock_udp, peer ptr[out, sockaddr_in], peerlen ptr[inout, len[peer, int32]]) + +udp_pair { + f0 sock_udp + f1 sock_udp +} + @@ -237,6 +257,26 @@ tcp6_pair { f1 sock_tcp6 } +# AF_INET6: UDP support + +resource sock_udp6[sock] + +socket$udp6(domain const[AF_INET6], type const[SOCK_DGRAM], proto const[0]) sock_udp6 +socketpair$udp6(domain const[AF_INET6], type const[SOCK_DGRAM], proto const[0], fds ptr[out, udp6_pair]) +accept$udp6(fd sock_udp6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]]) sock_udp6 +accept4$udp6(fd sock_udp6, peer ptr[out, sockaddr_in6, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_udp6 +bind$udp6(fd sock_udp6, addr ptr[in, sockaddr_in6], addrlen len[addr]) +connect$udp6(fd sock_udp6, addr ptr[in, sockaddr_in6], addrlen len[addr]) +sendto$udp6(fd sock_udp6, buf buffer[in], len len[buf], f flags[send_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr]) +recvfrom$udp6(fd sock_udp6, buf buffer[out], len len[buf], f flags[recv_flags], addr ptr[in, sockaddr_in6, opt], addrlen len[addr]) +getsockname$udp6(fd sock_udp6, addr ptr[out, sockaddr_in6], addrlen ptr[inout, len[addr, int32]]) +getpeername$udp6(fd sock_udp6, peer ptr[out, sockaddr_in6], peerlen ptr[inout, len[peer, int32]]) + +udp6_pair { + f0 sock_udp6 + f1 sock_udp6 +} + -- cgit mrf-deployment