Changeset 4ab3cf9b for libcfa/src

Timestamp:

Sep 23, 2020, 3:08:48 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

33c3ded, eccb14d

Parents:

2a658e9

Message:

Fixed typos and small errors in io/call.cfa.in

File:

• libcfa/src/concurrency/io/call.cfa.in (modified) (8 diffs)

libcfa/src/concurrency/io/call.cfa.in

@@ -307 +307 @@
         Call('SEND', 'ssize_t send(int sockfd, const void *buf, size_t len, int flags)', {
                 'fd': 'sockfd',
-                'addr': 'buf',
+                'addr': '(__u64)buf',
                 'len': 'len',
                 'msg_flags': 'flags'
@@ -314 +314 @@
         Call('RECV', 'ssize_t recv(int sockfd, void *buf, size_t len, int flags)', {
                 'fd': 'sockfd',
-                'addr': 'buf',
+                'addr': '(__u64)buf',
                 'len': 'len',
                 'msg_flags': 'flags'
@@ -328 +328 @@
         Call('CONNECT', 'int connect(int sockfd, const struct sockaddr *addr, socklen_t addrlen)', {
                 'fd': 'sockfd',
-                'addr': 'addr',
+                'addr': '(__u64)addr',
                 'off': 'addrlen'
         }),
@@ -341 +341 @@
         Call('FADVISE', 'int posix_fadvise(int fd, off_t offset, off_t len, int advice)', {
                 'fd': 'fd',
-                'off': 'off',
+                'off': 'offset',
                 'len': 'len',
                 'fadvise_advice': 'advice'
@@ -354 +354 @@
         Call('OPENAT', 'int openat(int dirfd, const char *pathname, int flags, mode_t mode)', {
                 'fd': 'dirfd',
-                'off': 'offset',
                 'addr': '(__u64)pathname',
                 'len': 'mode',
@@ -381 +380 @@
         Call('READ', 'ssize_t read(int fd, void * buf, size_t count)', {
                 'fd': 'fd',
-                'addr': 'buf',
+                'addr': '(__u64)buf',
                 'len': 'count'
         }),
@@ -387 +386 @@
         Call('WRITE', 'ssize_t write(int fd, void * buf, size_t count)', {
                 'fd': 'fd',
-                'addr': 'buf',
+                'addr': '(__u64)buf',
                 'len': 'count'
         }),
@@ -393 +392 @@
         Call('SPLICE', 'ssize_t splice(int fd_in, loff_t *off_in, int fd_out, loff_t *off_out, size_t len, unsigned int flags)', {
                 'splice_fd_in': 'fd_in',
-                'splice_off_in': 'off_in ? *off_in : -1',
+                'splice_off_in': 'off_in ? (__u64)*off_in : (__u64)-1',
                 'fd': 'fd_out',
-                'off': 'off_out ? *off_out : -1',
+                'off': 'off_out ? (__u64)*off_out : (__u64)-1',
                 'len': 'len',
                 'splice_flags': 'flags'