smmu_fdt_reserve
fsc->sc_id.id_reserve = smmu_fdt_reserve;
void smmu_fdt_reserve(void *, uint32_t *, bus_addr_t, bus_size_t);