Module Name:	syssrc
Committed By:	bjh21
Date:		Sat Dec 30 13:42:13 UTC 2000

Modified Files:
	syssrc/sys/arch/arm26/arm26: pmap.c

Log Message:
Add a cache flush to pmap_fault() when it adds a r/w mapping, since there's
probably an old mapping around that we don't want to get stale.


To generate a diff of this commit:
cvs rdiff -r1.13 -r1.14 syssrc/sys/arch/arm26/arm26/pmap.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.