ttbr0            1243 modules/cpuinfo_v7.c     unsigned    ttbr0;
ttbr0            1433 modules/cpuinfo_v7.c     unsigned tt0adr = mmuregs.ttbr0 & 0xffffff80;