smmu_cb_read_4
reg = smmu_cb_read_4(sc, i, SMMU_CB_ACTLR);
reg = smmu_cb_read_4(sc, cbi->cbi_idx, SMMU_CB_FSR);
smmu_cb_read_4(sc, cbi->cbi_idx, SMMU_CB_FSYNR0),
if ((smmu_cb_read_4(sc, dom->sd_cb_idx, SMMU_CB_TLBSTATUS) &
uint32_t smmu_cb_read_4(struct smmu_softc *, int, bus_size_t);