ARM_MMU500
case ARM_MMU500:
ARM_SMMU_MATCH_DATA(arm_mmu500, ARM_SMMU_V2, ARM_MMU500);
smmu->model = ARM_MMU500;