# Remove an unused header.
Index: um/arch/um/kernel/mprot.h
===================================================================
--- um.orig/arch/um/kernel/mprot.h	2004-08-05 20:22:45.000000000 -0400
+++ um/arch/um/kernel/mprot.h	2003-09-15 09:40:47.000000000 -0400
@@ -1,6 +0,0 @@
-#ifndef __MPROT_H__
-#define __MPROT_H__
-
-extern void no_access(unsigned long addr, unsigned int len);
-
-#endif
Index: um/arch/um/kernel/um_arch.c
===================================================================
--- um.orig/arch/um/kernel/um_arch.c	2004-08-05 20:22:45.000000000 -0400
+++ um/arch/um/kernel/um_arch.c	2004-08-05 20:23:16.000000000 -0400
@@ -27,7 +27,6 @@
 #include "user_util.h"
 #include "kern_util.h"
 #include "kern.h"
-#include "mprot.h"
 #include "mem_user.h"
 #include "mem.h"
 #include "umid.h"