2 * Copyright 2015 Freescale Semiconductor
4 * SPDX-License-Identifier: GPL-2.0+
7 void alloc_stream_ids(int start_id, int count, u32 *stream_ids, int max_cnt);
8 void append_mmu_masters(void *blob, const char *smmu_path,
9 const char *master_name, u32 *stream_ids, int count);
10 void fdt_fixup_smmu_pcie(void *blob);