Searched defs:ttbr1 (Results 1 – 1 of 1) sorted by relevance
1326 uint64_t ttbr1; cpu_start_secondary() local 1560 uint64_t ttbr1; cpu_suspend_primary() local