Searched refs:g_num_supported_hw_breakpoints (Results 1 – 2 of 2) sorted by relevance
978 static uint32_t g_num_supported_hw_breakpoints = UINT32_MAX; in NumSupportedHardwareBreakpoints() local979 if (g_num_supported_hw_breakpoints == UINT32_MAX) in NumSupportedHardwareBreakpoints()982 g_num_supported_hw_breakpoints = 0; in NumSupportedHardwareBreakpoints()987 g_num_supported_hw_breakpoints = Bits32 (register_DBGDIDR, 27, 24); in NumSupportedHardwareBreakpoints()989 if (g_num_supported_hw_breakpoints > 0) in NumSupportedHardwareBreakpoints()990 g_num_supported_hw_breakpoints++; in NumSupportedHardwareBreakpoints()994 return g_num_supported_hw_breakpoints; in NumSupportedHardwareBreakpoints()
663 static uint32_t g_num_supported_hw_breakpoints = UINT_MAX; in NumSupportedHardwareBreakpoints() local664 if (g_num_supported_hw_breakpoints == UINT_MAX) in NumSupportedHardwareBreakpoints()667 g_num_supported_hw_breakpoints = 0; in NumSupportedHardwareBreakpoints()674 g_num_supported_hw_breakpoints = n; in NumSupportedHardwareBreakpoints()707 g_num_supported_hw_breakpoints = numBRPs; in NumSupportedHardwareBreakpoints()712 return g_num_supported_hw_breakpoints; in NumSupportedHardwareBreakpoints()