John Fremlin <vii@users.sourceforge.net> writes:

[...]

> I ask because I did (actually I mapped all of physical memory to its
> physical address with repeated map_section) and pmap_extract blew up

Indeed it did.

> due to not handling L1 sections. Testing a fix now.

A very plausible theory, but unfortunately completely wrong.

> Unfortunately it involves changing the pmap_pte_v macro 

I think I should have gone to bed before writing this bit :-)

-- 

	http://ape.n3.net