Searched defs:ttbcr (Results 1 – 2 of 2) sorted by relevance
| /qemu/include/hw/xen/interface/ | ||
| H A D | arch-arm.h | 284 uint64_t ttbcr, ttbr0, ttbr1; member |
| /qemu/target/arm/ | ||
| H A D | kvm.c | 1174 uint64_t ttbcr; in kvm_arm_verify_ext_dabt_pending() local |