process manager must be able to send to rtl driver

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 \

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;