arch/arm/tlb.cc

572         vaddr = purifyTaggedAddr(vaddr_tainted, tc, aarch64EL, ttbcr);
798     Addr vaddr = purifyTaggedAddr(vaddr_tainted, tc, aarch64EL, ttbcr);
1048         vaddr = purifyTaggedAddr(vaddr_tainted, tc, aarch64EL, ttbcr);
1322                 ttbcr = tc->readMiscReg(MISCREG_TCR_EL1);
1323                 uint64_t ttbr_asid = ttbcr.a1 ?
1327                             (haveLargeAsid64 && ttbcr.as) ? 63 : 55, 48);
1332             ttbcr = tc->readMiscReg(MISCREG_TCR_EL2);
1337             ttbcr = tc->readMiscReg(MISCREG_TCR_EL3);
1370         ttbcr  = tc->readMiscReg(snsBankedIndex(MISCREG_TTBCR, tc,
1376                 snsBankedIndex(ttbcr.a1 ? MISCREG_TTBR1 :
1468         vaddr = purifyTaggedAddr(vaddr_tainted, tc, target_el, ttbcr);