Symbol: SMMU_CB_TTBR_ASID_SHIFT