mmuregs          1430 modules/cpuinfo_v7.c     struct mmuregs_s mmuregs;
mmuregs          1431 modules/cpuinfo_v7.c     get_mmuregs_vmsa(&mmuregs);
mmuregs          1432 modules/cpuinfo_v7.c     unsigned tt0len = 128 << (7 - (mmuregs.ttbcr & 7));
mmuregs          1433 modules/cpuinfo_v7.c     unsigned tt0adr = mmuregs.ttbr0 & 0xffffff80;
mmuregs          1434 modules/cpuinfo_v7.c     unsigned tt1adr = mmuregs.ttbr1 & 0xffffff80;