Module Name:	syssrc
Committed By:	thorpej
Date:		Mon Mar 25 17:33:28 UTC 2002

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

Log Message:
The target page of pmap_zero_page(), pmap_pageidlezero(), and
pmap_copy_page() will never have any mappings.  Therefore, it
is unnecessary to do a cache clean for that page.

Add assertions in #ifdef DEBUG that assert this invariant.

This shaves some cycles off the frequently-called pmap_zero_page()
and pmap_copy_page() (no need to look up the dst page's vm_page
structure, and one less function call to clean the page).


To generate a diff of this commit:
cvs rdiff -r1.70 -r1.71 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.