On Sunday 08 July 2001  8:44 pm, Chuck Silvers wrote:
> Module Name:	syssrc
> Committed By:	chs
> Date:		Sun Jul  8 19:44:43 UTC 2001
>
> Modified Files:
> 	syssrc/sys/arch/arm/arm32: pmap.c
>
> Log Message:
> clean up pmap_k{enter_pa,remove}():
> a page is allowed to be mapped normally when k-mapped.

I'm wondering if there's now a need to indicate that a page has been 
k-mapped?  As we can now have a page be k-mapped, and then also mapped into 
the kernel pmap, which means that the page needs to be flagged as 
non-cacheable/bufferable in both places, and potentially also store the place 
the page was kmapped to.

Is this kind of check/protection needed?

Cheers,
Chris