François Revol 1026b0a1a7 ppc: use 64 bit physical addressing ...

* At least the 4xx cpu types use PAE-like 36 bit addressing, including for mapped peripherals.

2012-08-15 19:41:52 +02:00

..

HaikuConfig.h

…

types.h

…