Searched refs:ttbr1 (Results 1 - 3 of 3) sorted by relevance
| /freebsd-current/sys/contrib/xen/ | ||
| H A D | arch-arm.h | 301 uint64_t ttbcr, ttbr0, ttbr1; member in struct:vcpu_guest_context |
| H A D | vm_event.h | 266 uint64_t ttbr1; member in struct:vm_event_regs_arm |
| /freebsd-current/sys/arm64/arm64/ | ||
| H A D | pmap.c | 8738 uint64_t ttbr0, ttbr1; local 8756 ttbr1 = READ_SPECIALREG(ttbr1_el1); 8757 ttbr1 |= TTBR_CnP; 8761 WRITE_SPECIALREG(ttbr1_el1, ttbr1); |
Completed in 132 milliseconds