mvsoc_target_axi
return mvsoc_target_axi(tag, base, size);
static int mvsoc_target_axi(int, uint32_t *, uint32_t *);