ARM_SMMU_V1_64K
if (smmu->version == ARM_SMMU_V1_64K)
ARM_SMMU_MATCH_DATA(arm_mmu401, ARM_SMMU_V1_64K, GENERIC_SMMU);
smmu->version = ARM_SMMU_V1_64K;