Searched defs:ttbr1 (Results 1 – 3 of 3) sorted by relevance
351 unsigned long ttbr1 = read_sysreg(ttbr1_el1); in cpu_do_switch_mm() local
2188 phys_addr_t ttbr1 = phys_to_ttbr(virt_to_phys(pgdp)); in __cpu_replace_ttbr1() local
558 u64 ttbr1; member