Searched refs:dbg_breakpoint_num (Results 1 – 2 of 2) sorted by relevance
59 static int dbg_breakpoint_num; variable293 max = dbg_breakpoint_num; in dbg_find_free_slot()322 max = dbg_breakpoint_num; in dbg_find_slot()450 for (i = 0; i < dbg_breakpoint_num; i++) { in dbg_register_sync()478 dbg_breakpoint_num = ((READ_SPECIALREG(id_aa64dfr0_el1) >> 12) & 0xf) + 1; in dbg_monitor_init()482 dbg_watchpoint_num, dbg_breakpoint_num); in dbg_monitor_init()499 for (i = 0; i < dbg_breakpoint_num; i++) { in dbg_monitor_init()522 for (i = 0; i < dbg_breakpoint_num; ++i) { in dbg_monitor_enter()556 for (i = 0; i < dbg_breakpoint_num; ++i) { in dbg_monitor_exit()
82 static uint32_t dbg_breakpoint_num; variable468 max = dbg_breakpoint_num; in dbg_check_slot_free()502 max = dbg_breakpoint_num; in dbg_find_free_slot()528 max = dbg_breakpoint_num; in dbg_find_slot()609 if (dbg_breakpoint_num == 0) { in dbg_setup_xpoint()921 for (i = 0; i < dbg_breakpoint_num; ++i) { in dbg_reset_state()955 dbg_breakpoint_num = dgb_get_brp_num(); in dbg_monitor_init()959 dbg_watchpoint_num, dbg_breakpoint_num); in dbg_monitor_init()