Searched defs:ttbr0 (Results 1 – 3 of 3) sorted by relevance
75 uint64_t ttbr0; in enable_mmu_svc_mon() local
158 uint64_t mair, ttbr0; in setup_mmu_cfg() local
224 uint64_t mair, ttbr0, tcr; in setup_mmu_cfg() local