Searched refs:g_num_supported_hw_watchpoints (Results 1 – 2 of 2) sorted by relevance
1108 static uint32_t g_num_supported_hw_watchpoints = UINT32_MAX; in NumSupportedHardwareWatchpoints() local1109 if (g_num_supported_hw_watchpoints == UINT32_MAX) in NumSupportedHardwareWatchpoints()1112 g_num_supported_hw_watchpoints = 0; in NumSupportedHardwareWatchpoints()1116 g_num_supported_hw_watchpoints = Bits32 (register_DBGDIDR, 31, 28) + 1; in NumSupportedHardwareWatchpoints()1119 return g_num_supported_hw_watchpoints; in NumSupportedHardwareWatchpoints()
721 static uint32_t g_num_supported_hw_watchpoints = UINT_MAX; in NumSupportedHardwareWatchpoints() local722 if (g_num_supported_hw_watchpoints == UINT_MAX) in NumSupportedHardwareWatchpoints()725 g_num_supported_hw_watchpoints = 0; in NumSupportedHardwareWatchpoints()733 g_num_supported_hw_watchpoints = n; in NumSupportedHardwareWatchpoints()765 g_num_supported_hw_watchpoints = numWRPs; in NumSupportedHardwareWatchpoints()770 return g_num_supported_hw_watchpoints; in NumSupportedHardwareWatchpoints()