tt1adr           1434 modules/cpuinfo_v7.c     unsigned tt1adr = mmuregs.ttbr1 & 0xffffff80;
tt1adr           1508 modules/cpuinfo_v7.c         e = (unsigned*)(tt1adr+tt0len);