Searched refs:g_num_supported_hw_breakpoints (Results 1 – 1 of 1) sorted by relevance
1501 static uint32_t g_num_supported_hw_breakpoints = UINT32_MAX; in NumSupportedHardwareBreakpoints() local1502 if (g_num_supported_hw_breakpoints == UINT32_MAX) { in NumSupportedHardwareBreakpoints()1504 g_num_supported_hw_breakpoints = 0; in NumSupportedHardwareBreakpoints()1509 g_num_supported_hw_breakpoints = Bits32(register_DBGDIDR, 27, 24); in NumSupportedHardwareBreakpoints()1511 if (g_num_supported_hw_breakpoints > 0) in NumSupportedHardwareBreakpoints()1512 g_num_supported_hw_breakpoints++; in NumSupportedHardwareBreakpoints()1514 return g_num_supported_hw_breakpoints; in NumSupportedHardwareBreakpoints()