Symbol: ARM_A5_TLBDATA_SIZE