From 57ee57ff38cd4d6ce0116b20bdf4ee0ad6e308dc Mon Sep 17 00:00:00 2001
From: Sam Leffler <sam@ucbvax.Berkeley.EDU>
Date: Fri, 24 Dec 1982 20:55:06 -0800
Subject: [PATCH] header files moved around a bit

SCCS-vsn: usr.bin/gcore/gcore.c 4.2
SCCS-vsn: usr.sbin/kgmon/kgmon.c 4.2
SCCS-vsn: usr.bin/w/w.c 4.9
---
 usr/src/usr.bin/gcore/gcore.c  | 4 ++--
 usr/src/usr.bin/w/w.c          | 4 ++--
 usr/src/usr.sbin/kgmon/kgmon.c | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/usr/src/usr.bin/gcore/gcore.c b/usr/src/usr.bin/gcore/gcore.c
index 9b892a3293..ef78e532a1 100644
--- a/usr/src/usr.bin/gcore/gcore.c
+++ b/usr/src/usr.bin/gcore/gcore.c
@@ -1,6 +1,6 @@
 /* Copyright (c) 1982 Regents of the University of California */
 
-static char sccsid[] = "@(#)gcore.c	4.1	(Berkeley)	%G%";
+static char sccsid[] = "@(#)gcore.c	4.2	(Berkeley)	%G%";
 
 /*
  * gcore - get core images of running processes
@@ -25,7 +25,7 @@ static char sccsid[] = "@(#)gcore.c	4.1	(Berkeley)	%G%";
 #include <sys/dir.h>
 #include <sys/user.h>
 #include <sys/proc.h>
-#include <sys/pte.h>
+#include <machine/pte.h>
 #include <sys/vm.h>
 #include <setjmp.h>
 
diff --git a/usr/src/usr.bin/w/w.c b/usr/src/usr.bin/w/w.c
index b735dd95f6..a46a2f892a 100644
--- a/usr/src/usr.bin/w/w.c
+++ b/usr/src/usr.bin/w/w.c
@@ -1,4 +1,4 @@
-static char *sccsid = "@(#)w.c	4.8 (Berkeley) %G%";
+static char *sccsid = "@(#)w.c	4.9 (Berkeley) %G%";
 /*
  * w - print system status (who and what)
  *
@@ -14,7 +14,7 @@ static char *sccsid = "@(#)w.c	4.8 (Berkeley) %G%";
 #include <sys/dir.h>
 #include <sys/user.h>
 #include <sys/proc.h>
-#include <sys/pte.h>
+#include <machine/pte.h>
 #include <sys/vm.h>
 
 #define NMAX sizeof(utmp.ut_name)
diff --git a/usr/src/usr.sbin/kgmon/kgmon.c b/usr/src/usr.sbin/kgmon/kgmon.c
index 6b3b15a28a..28cc86cc7c 100644
--- a/usr/src/usr.sbin/kgmon/kgmon.c
+++ b/usr/src/usr.sbin/kgmon/kgmon.c
@@ -1,11 +1,11 @@
 /* Copyright (c) 1982 Regents of the University of California */
 
 #ifndef lint
-static char sccsid[] = "@(#)kgmon.c	4.1 82/06/21";
+static char sccsid[] = "@(#)kgmon.c	4.2 82/12/24";
 #endif
 
 #include <sys/param.h>
-#include <sys/pte.h>
+#include <machine/pte.h>
 #include <stdio.h>
 #include <nlist.h>
 #include <ctype.h>
-- 
2.20.1