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