Searched defs:ttbr (Results 1 – 1 of 1) sorted by relevance
617 uint64_t ttbr; in core_mmu_set_prtn() local1472 uint64_t ttbr = 0; in core_mmu_set_user_map() local1563 uint64_t ttbr = 0; in core_mmu_set_user_map() local