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

---
 port/page.c    | 2 +-
 port/portfns.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/port/page.c b/port/page.c
index 045cb28a06ba367f30ed6ff7ddd6a4a9cbd4ca6a..5faff2a23636f52b85c743be40ee78507cad81c0 100644
--- a/port/page.c
+++ b/port/page.c
@@ -152,7 +152,7 @@ putpage(Page *p)
 		return;
 	}
 
-	vcacheinval(p);
+	vcacheinval(p, p->va);
 	lock(&palloc);
 	if(p->image && p->image != &swapimage) {
 		if(palloc.tail) {
diff --git a/port/portfns.h b/port/portfns.h
index 8ad0eca6c0aa24dc6f16026f1b854fc245df60dd..ee7e4de57502fcf442807c10ed2dacc4c18f82ca 100644
--- a/port/portfns.h
+++ b/port/portfns.h
@@ -252,7 +252,7 @@ void		userinit(void);
 ulong		userpc(void);
 long		userwrite(char*, int);
 void		validaddr(ulong, ulong, int);
-void		vcacheinval(Page*);
+void		vcacheinval(Page*, ulong);
 void*		vmemchr(void*, int, int);
 void		wakeup(Rendez*);
 Chan*		walk(Chan*, char*, int);