Module Name:	src
Committed By:	scw
Date:		Mon Apr 28 15:57:25 UTC 2003

Modified Files:
	src/sys/arch/arm/arm32: fault.c pmap_new.c
	src/sys/arch/arm/include/arm32: pmap.h

Log Message:
Fix the bug reported by Richard Earnshaw in port-arm32/21349.

Make sure to check the access permissions before doing
ref/mod/domain fixups. This is particularly important
on machines with ARM_VECTORS_LOW.


To generate a diff of this commit:
cvs rdiff -r1.28 -r1.29 src/sys/arch/arm/arm32/fault.c
cvs rdiff -r1.5 -r1.6 src/sys/arch/arm/arm32/pmap_new.c
cvs rdiff -r1.69 -r1.70 src/sys/arch/arm/include/arm32/pmap.h

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