(this is not an objection, just a request for more information)

> I'd like to specify that exec mappings are not allowed to be entered
> via pmap_kenter_pa() (at least, not by machine-independent code).  I'm
> pretty sure no MI code does this as it stands.

What's the motivation/rationale for this restriction?  

						- Bill