From a5f00a0f4a4a30691580403dd5046a18c685ee92 Mon Sep 17 00:00:00 2001
From: David du Colombier <0intro@gmail.com>
Date: Thu, 29 Jul 1993 00:00:00 +0000
Subject: [PATCH] Plan 9 from Bell Labs 1993-07-29

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

diff --git a/port/proc.c b/port/proc.c
index bf47bf007ac69477f0e8d8c7a72bf9515f965333..7ef8120af3906674f38d04c67ccd5dc8c34bc705 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++;