Searched defs:ttbr (Results 1 – 4 of 4) sorted by relevance
51 unsigned long ttbr = page_to_phys(empty_zero_page); in cpu_set_reserved_ttbr0() local
59 u64 ttbr[2]; member
298 u64 ttbr; in ipmmu_domain_init_context() local
526 u64 ttbr; member