Searched refs:ttbr0_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
441 __asm__ volatile ("mrc p15,0,%0,c2,c0,0\n" : "=r"(ttbr0_val)); in arm_init()
443 thread->machine.uptw_ttb = ttbr0_val; in arm_init()
|
| H A D | arm_vm_init.c | 615 unsigned int ttbr0_val, ttbr1_val; in arm_vm_init() local
618 __asm__ volatile ("mrc p15,0,%0,c2,c0,0\n" : "=r"(ttbr0_val)); in arm_vm_init()
620 thread->machine.uptw_ttb = ttbr0_val; in arm_vm_init()
|
| H A D | pmap.c | 7867 unsigned int ttbr0_val, ttbr1_val; local
7868 __asm__ volatile ("mrc p15,0,%0,c2,c0,0\n" : "=r"(ttbr0_val));
7870 if (ttbr0_val != ttbr1_val) {
7871 panic("Misaligned ttbr0 %08X", ttbr0_val);
|