uwe f7b9361ff7 Revert two previous revisions and just use __pmap_kernel directly again. ...

There's no reason to pretend we don't know what kernel_pmap_ptr is.

2009-01-23 16:54:14 +00:00

..

conf

…

dev

…

include

…

sh3

Revert two previous revisions and just use __pmap_kernel directly again.

2009-01-23 16:54:14 +00:00

Makefile

…

Makefile.inc

…