Searched defs:ttbr (Results 1 – 1 of 1) sorted by relevance
616 uint64_t ttbr; in core_mmu_set_prtn() local1471 uint64_t ttbr = 0; in core_mmu_set_user_map() local1562 uint64_t ttbr = 0; in core_mmu_set_user_map() local