| /src/sys/external/mit/xen-include-public/dist/xen/include/public/ |
| vm_event.h | 207 uint64_t ttbcr; member in struct:vm_event_regs_arm
|
| arch-arm.h | 295 uint64_t ttbcr, ttbr0, ttbr1; member in struct:vcpu_guest_context
|
| /src/sys/arch/arm/include/ |
| armreg.h | 823 ARMREG_READ_INLINE(ttbcr, "p15,0,%0,c2,c0,2") /* Translation Table Base Register */ 824 ARMREG_WRITE_INLINE(ttbcr, "p15,0,%0,c2,c0,2") /* Translation Table Base Register */
|