Searched refs:ttbr0 (Results 1 – 4 of 4) sorted by relevance
1231 uintptr_t ttbr0, asid = 0; // kernel asid in arm_user_protect_begin() local1233 ttbr0 = __builtin_arm_mrc(15, 0, 2, 0, 0); // Get TTBR0 in arm_user_protect_begin()1234 if (ttbr0 != thread->machine.kptw_ttb) { in arm_user_protect_begin()1239 return ttbr0; in arm_user_protect_begin()1243 arm_user_protect_end(thread_t thread, uintptr_t ttbr0, boolean_t disable_interrupts) in arm_user_protect_end() argument1245 …if ((ttbr0 != thread->machine.kptw_ttb) && (thread->machine.uptw_ttb != thread->machine.kptw_ttb))… in arm_user_protect_end()
109 uint64_t ttbr0; member
407 gHibTramp.ttbr0 = ctx.page_table_base; in pal_hib_resume_tramp()
325 DECLARE("HIBTRAMP_TTBR0", offsetof(pal_hib_tramp_result_t, ttbr0)); in main()