Home
last modified time | relevance | path

Searched refs:kptw_ttb (Results 1 – 6 of 6) sorted by relevance

/xnu-8020.140.41/osfmk/arm/
H A Dmachine_routines.c1234 if (ttbr0 != thread->machine.kptw_ttb) { in arm_user_protect_begin()
1235 __builtin_arm_mcr(15, 0, thread->machine.kptw_ttb, 2, 0, 0); // Set TTBR0 in arm_user_protect_begin()
1245 …if ((ttbr0 != thread->machine.kptw_ttb) && (thread->machine.uptw_ttb != thread->machine.kptw_ttb))… in arm_user_protect_end()
H A Dthread.h93 unsigned int kptw_ttb; member
H A Dpcb.c174 thread->machine.kptw_ttb = ((unsigned int) kernel_pmap->ttep) | TTBR_SETUP; in machine_thread_create()
H A Dgenassym.c144 DECLARE("ACT_KPTW_TTB", offsetof(struct thread, machine.kptw_ttb)); in main()
H A Darm_init.c444 thread->machine.kptw_ttb = ttbr1_val; in arm_init()
H A Darm_vm_init.c621 thread->machine.kptw_ttb = ttbr1_val; in arm_vm_init()