2 files changed, 2 insertions(+), 2 deletions(-)

M port/page.c
M port/portfns.h

@@ 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) {

@@ 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);