cobalt_bus_read32
return cobalt_bus_read32(cobalt->bar1, ADRS(offset));
r.x[0] = cobalt_bus_read32(map->virt, ADRS(offset));
data = cobalt_bus_read32(map->virt, ADRS(src));