Module Name:	syssrc
Committed By:	rearnsha
Date:		Sat Nov  3 00:06:02 UTC 2001

Modified Files:
	syssrc/sys/arch/arm/arm32: pmap.c

Log Message:
Replace most uses of pmap_pde_p with pmap_pde_page, since that is what
we need later in the code.  This fixes a fatal kernel fault in
pmap_modified_emulation if a user application tries to access a kernel
address that is section-mapped.

Add a diagnostic that detects attempts to call pmap_kenter_pa with a
va that is section-mapped.


To generate a diff of this commit:
cvs rdiff -r1.29 -r1.30 syssrc/sys/arch/arm/arm32/pmap.c

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