Searched defs:ttbr1 (Results 1 – 3 of 3) sorted by relevance
301 uint64_t ttbcr, ttbr0, ttbr1; member
266 uint64_t ttbr1; member
8818 uint64_t ttbr0, ttbr1; in pmap_set_cnp() local