thorpej 5ffc15a083 Use vtopte() instead of pmap_pte().

2002-03-24 18:12:54 +00:00

..

compile

…

conf

…

dev

…

evbarm

…

ifpga

…

include

* Change all uses of KERNEL_SPACE_START to KERNEL_BASE.

2002-03-23 02:53:59 +00:00

integrator

* arm_byte_to_page() -> arm_btop()

2002-03-24 03:37:18 +00:00

iq80310

Use vtopte() instead of pmap_pte().

2002-03-24 18:12:54 +00:00

stand

…

Makefile

…