tt0adr           1433 modules/cpuinfo_v7.c     unsigned tt0adr = mmuregs.ttbr0 & 0xffffff80;
tt0adr           1437 modules/cpuinfo_v7.c     e = (unsigned*)tt0adr;