Vladimir Serbinenko 6f1bc8bc0f On i386-ieee1275 we run in paged mode. So we need to explicitly map ... the devices before accessing them.		2013-11-18 04:32:33 +01:00
..
ieee1275	On i386-ieee1275 we run in paged mode. So we need to explicitly map	2013-11-18 04:32:33 +01:00