Searched defs:ttbr0 (Results 1 – 2 of 2) sorted by relevance
109 uint64_t ttbr0; member
1231 uintptr_t ttbr0, asid = 0; // kernel asid in arm_user_protect_begin() local1243 arm_user_protect_end(thread_t thread, uintptr_t ttbr0, boolean_t disable_interrupts) in arm_user_protect_end()