From 4904a5537a4ea2d5acd3e6e03145f38adb28c00b Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Fri, 3 Jun 2005 09:02:19 +0000
Subject: [PATCH] process manager must be able to send to rtl driver

---
 kernel/sendmask.h          | 1 +
 servers/inet/generic/tcp.c | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/kernel/sendmask.h b/kernel/sendmask.h
index 2885ddea1..9db966fba 100644
--- 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 1458744f8..2f788380c 100644
--- 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;