arm32
|
Fix compile problem when DDB not defined.
|
2002-04-04 12:39:55 +00:00 |
footbridge
|
Use vtopte() instead of pmap_pte().
|
2002-03-24 18:12:54 +00:00 |
iomd
|
Don't need to mask w/ PG_FRAME.
|
2002-04-04 16:56:36 +00:00 |
mainbus
|
* arm_byte_to_page() -> arm_btop()
|
2002-03-24 03:37:18 +00:00 |
sa11x0
|
Use vtopte() instead of pmap_pte().
|
2002-03-24 18:12:54 +00:00 |
xscale
|
Fix soft interrupts.
|
2002-03-28 03:19:31 +00:00 |