From 7e7f85d3b8429a3688ffe3619b422aca79917020 Mon Sep 17 00:00:00 2001
From: David du Colombier <0intro@gmail.com>
Date: Sun, 1 Aug 1993 00:00:00 +0000
Subject: [PATCH] Plan 9 from Bell Labs 1993-08-01

---
 port/proc.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/port/proc.c b/port/proc.c
index bf47bf007ac69477f0e8d8c7a72bf9515f965333..91c9304badfe55c9d14c5d9e78e89944de825d83 100644
--- a/port/proc.c
+++ b/port/proc.c
@@ -84,6 +84,7 @@ schedinit(void)		/* never returns */
 void
 sched(void)
 {
+	kmapinval();
 	if(up) {
 		splhi();
 		m->cs++;
@@ -135,9 +136,6 @@ ready(Proc *p)
 	splx(s);
 }
 
-/*
- * Always called splhi
- */
 Proc*
 runproc(void)
 {