Searched refs:aa64dfr0 (Results 1 – 3 of 3) sorted by relevance
534 void test_guest_debug_exceptions_all(u64 aa64dfr0) in test_guest_debug_exceptions_all() argument540 brp_num = FIELD_GET(ID_AA64DFR0_EL1_BRPs, aa64dfr0) + 1; in test_guest_debug_exceptions_all()544 wrp_num = FIELD_GET(ID_AA64DFR0_EL1_WRPs, aa64dfr0) + 1; in test_guest_debug_exceptions_all()547 ctx_brp_num = FIELD_GET(ID_AA64DFR0_EL1_CTX_CMPs, aa64dfr0) + 1; in test_guest_debug_exceptions_all()581 u64 aa64dfr0; in main() local584 aa64dfr0 = vcpu_get_reg(vcpu, KVM_ARM64_SYS_REG(SYS_ID_AA64DFR0_EL1)); in main()585 __TEST_REQUIRE(debug_version(aa64dfr0) >= 6, in main()601 test_guest_debug_exceptions_all(aa64dfr0); in main()
24 u64 aa64dfr0 = read_sysreg_s(SYS_ID_AA64DFR0_EL1); in is_trbe_available() local25 unsigned int trbe = cpuid_feature_extract_unsigned_field(aa64dfr0, in is_trbe_available()
477 u64 brbidr, aa64dfr0 = read_sysreg_s(SYS_ID_AA64DFR0_EL1); in brbe_probe() local480 brbe = cpuid_feature_extract_unsigned_field(aa64dfr0, ID_AA64DFR0_EL1_BRBE_SHIFT); in brbe_probe()