srmmu_mapiorange
void srmmu_mapiorange(unsigned int bus, unsigned long xpa,
srmmu_mapiorange(bus, pa, res->start, resource_size(res));