Searched refs:ttbr1_val (Results 1 – 3 of 3) sorted by relevance
| /xnu-8020.140.41/osfmk/arm/ |
| H A D | arm_init.c | 440 unsigned int ttbr0_val, ttbr1_val; in arm_init() local
442 __asm__ volatile ("mrc p15,0,%0,c2,c0,1\n" : "=r"(ttbr1_val)); in arm_init()
444 thread->machine.kptw_ttb = ttbr1_val; in arm_init()
|
| H A D | arm_vm_init.c | 615 unsigned int ttbr0_val, ttbr1_val; in arm_vm_init() local
619 __asm__ volatile ("mrc p15,0,%0,c2,c0,1\n" : "=r"(ttbr1_val)); in arm_vm_init()
621 thread->machine.kptw_ttb = ttbr1_val; in arm_vm_init()
|
| H A D | pmap.c | 7867 unsigned int ttbr0_val, ttbr1_val; local
7869 __asm__ volatile ("mrc p15,0,%0,c2,c0,1\n" : "=r"(ttbr1_val));
7870 if (ttbr0_val != ttbr1_val) {
|