Searched refs:ttbcr (Results 1 – 2 of 2) sorted by relevance
284 uint64_t ttbcr, ttbr0, ttbr1; member
1193 uint64_t ttbcr; in kvm_arm_verify_ext_dabt_pending() local1195 if (!kvm_get_one_reg(cs, ARM64_REG_TCR_EL1, &ttbcr)) { in kvm_arm_verify_ext_dabt_pending()1197 && (ttbcr & TTBCR_EAE); in kvm_arm_verify_ext_dabt_pending()