process manager must be able to send to rtl driver

diff --git a/kernel/sendmask.h b/kernel/sendmask.h
index 2885ddea14f8479f23cd300607d66b00256cd868..9db966fba484c0fabe4b372ccaeadfd548594c5b 100644 (file)
--- a/kernel/sendmask.h
+++ b/kernel/sendmask.h
@@ -92,6 +92,7 @@
     allow(1, CLOCK) \
     allow(1, INIT_PROC_NR) \
     allow(1, FS_PROC_NR) \
+    allow(1, USR8139) \
     allow(1, USER_PROC_NR)     /* reply to system calls */ 
 
 #define AT_SENDMASK \

diff --git a/servers/inet/generic/tcp.c b/servers/inet/generic/tcp.c
index 1458744f83e3bc0aa5c38c6bb767da3ba38888b4..2f788380cb82f9b3d6677fe42cbe5bf6e2b243fd 100644 (file)
--- a/servers/inet/generic/tcp.c
+++ b/servers/inet/generic/tcp.c
@@ -1115,7 +1115,8 @@ tcpport_t port;
        return TRUE;
 }
 
-PRIVATE int reply_thr_put(tcp_fd, reply, for_ioctl)
+PRIVATE int
+reply_thr_put(tcp_fd, reply, for_ioctl)
 tcp_fd_t *tcp_fd;
 int reply;
 int for_ioctl;