ppc4xx_tlb_mapiodev
p = ppc4xx_tlb_mapiodev(pa, len);
if ((iic0 = ppc4xx_tlb_mapiodev(AMCC405EX_IIC0_BASE, IIC_NREG)) == NULL)
gpio = ppc4xx_tlb_mapiodev(AMCC460EX_GPIO0_BASE, 0x40);
fb = ppc4xx_tlb_mapiodev(TFT_FB_BASE, TFT_FB_SIZE);
void *ppc4xx_tlb_mapiodev(paddr_t, psize_t);