oea_mapiodev
uint32_t kl_base = (uint32_t)oea_mapiodev(0x80000000, 0x1000);
opic = setup_openpic(oea_mapiodev(pic_base, 0x40000), pass_through);
pc->pc_addr = oea_mapiodev(reg[0] + 0x800000, 4);
pc->pc_data = oea_mapiodev(reg[0] + 0xc00000, 8);
pc->pc_addr = oea_mapiodev(reg[1] + 0x800000, 4);
pc->pc_data = oea_mapiodev(reg[1] + 0xc00000, 8);