date and time created 83/02/20 23:36:57 by sam

[unix-history] / usr / src / sys / kern / kern_synch.c

diff --git a/usr/src/sys/kern/kern_synch.c b/usr/src/sys/kern/kern_synch.c
index 4605c2e..1843863 100644 (file)
--- a/usr/src/sys/kern/kern_synch.c
+++ b/usr/src/sys/kern/kern_synch.c
@@ -1,4 +1,6 @@
-/*     kern_synch.c    4.23    82/10/17        */
+/*     kern_synch.c    4.25    82/12/17        */
+
+#include "../machine/pte.h"

 
 #include "../h/param.h"
 #include "../h/systm.h"
 
 #include "../h/param.h"
 #include "../h/systm.h"


@@ -8,15 +10,16 @@
 #include "../h/file.h"
 #include "../h/inode.h"
 #include "../h/vm.h"
 #include "../h/file.h"
 #include "../h/inode.h"
 #include "../h/vm.h"

-#include "../h/pte.h"

 #ifdef MUSH
 #include "../h/quota.h"
 #include "../h/share.h"
 #endif
 #include "../h/kernel.h"
 #include "../h/buf.h"
 #ifdef MUSH
 #include "../h/quota.h"
 #include "../h/share.h"
 #endif
 #include "../h/kernel.h"
 #include "../h/buf.h"

-#include "../vax/mtpr.h"       /* XXX */

 
 

+#ifdef vax
+#include "../vax/mtpr.h"       /* XXX */
+#endif

 /*
  * Force switch among equal priority processes every 100ms.
  */
 /*
  * Force switch among equal priority processes every 100ms.
  */


@@ -32,7 +35,6 @@ roundrobin()
 #undef ave
 #define        ave(a,b) ((int)(((int)(a*b))/(b+1)))
 int    nrscale = 2;
 #undef ave
 #define        ave(a,b) ((int)(((int)(a*b))/(b+1)))
 int    nrscale = 2;

-double avenrun[];

 double ccpu = 0.95122942450071400909;          /* exp(-1/20) */
 
 /*
 double ccpu = 0.95122942450071400909;          /* exp(-1/20) */
 
 /*