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

M power/fns.h
M power/mmu.c

@@ 80,3 80,4 @@ void	wbflush(void);
 #define PADDR(a)	((ulong)(a)&~KZERO)
 Page*	lkpage(Segment*, ulong);
 void	lkpgfree(Page*);
+#define vcacheinval(s)

@@ 70,7 70,7 @@ putmmu(ulong tlbvirt, ulong tlbphys, Page *pg)
 	splhi();
 
 	ctl = &pg->cachectl[m->machno]; 
-	if(*ctl & PG_TXTFLUSH) {
+	if(*ctl == PG_TXTFLUSH) {
 		dcflush((void*)pg->pa, BY2PG);
 		icflush((void*)pg->pa, BY2PG);
 		*ctl &= ~PG_TXTFLUSH;