ttbr1            1244 modules/cpuinfo_v7.c     unsigned    ttbr1;
ttbr1            1434 modules/cpuinfo_v7.c     unsigned tt1adr = mmuregs.ttbr1 & 0xffffff80;