Searched defs:ttbr0 (Results 1 – 8 of 8) sorted by relevance
29 u64 ttbr0; member
120 phys_addr_t ttbr0; member
135 static inline void cpu_install_ttbr0(phys_addr_t ttbr0, unsigned long t0sz) in cpu_install_ttbr0()
27 u64 ttbr0; /* saved TTBR0_EL1 */ member
77 unsigned long flags, ttbr0, ttbr1; in __uaccess_ttbr0_enable() local
35 volatile u64 ttbr0; member
85 u64 ttbr0; member
353 unsigned long ttbr0 = phys_to_ttbr(pgd_phys); in cpu_do_switch_mm() local