#include <sys/socket.h>
#include "syscall.h"
-int getsockopt(int fd, int level, int optname, void *optval, socklen_t *optlen)
+int getsockopt(int fd, int level, int optname, void *restrict optval, socklen_t *restrict optlen)
{
return socketcall(getsockopt, fd, level, optname, optval, optlen, 0);
}