Searched defs:ttbr1 (Results 1 – 5 of 5) sorted by relevance
115 phys_addr_t ttbr1; member
76 unsigned long flags, ttbr0, ttbr1; in __uaccess_ttbr0_enable() local
351 unsigned long ttbr1 = read_sysreg(ttbr1_el1); in cpu_do_switch_mm() local
1539 phys_addr_t ttbr1 = phys_to_ttbr(virt_to_phys(pgdp)); in __cpu_replace_ttbr1() local
480 u64 ttbr1; member