Searched refs:brp_num (Results 1 – 1 of 1) sorted by relevance
538 uint8_t brp_num, wrp_num, ctx_brp_num, normal_brp_num, ctx_brp_base; in test_guest_debug_exceptions_all() local542 brp_num = FIELD_GET(ID_AA64DFR0_EL1_BRPs, aa64dfr0) + 1; in test_guest_debug_exceptions_all()543 __TEST_REQUIRE(brp_num >= 2, "At least two breakpoints are required"); in test_guest_debug_exceptions_all()552 brp_num, wrp_num, ctx_brp_num); in test_guest_debug_exceptions_all()555 normal_brp_num = brp_num - ctx_brp_num; in test_guest_debug_exceptions_all()