Searched defs:ttbr (Results 1 – 3 of 3) sorted by relevance
58 unsigned long ttbr = page_to_phys(empty_zero_page); in cpu_set_reserved_ttbr0() local
56 u64 ttbr[2]; member
312 phys_addr_t ttbr; in ipmmu_domain_init_context() local