|
|
@@ -309,6 +309,10 @@ void vPortSetStackWatchpoint(void *pxStackStart)
|
|
|
esp_set_watchpoint(7, (char *)addr, STACK_WATCH_AREA_SIZE, ESP_WATCHPOINT_STORE);
|
|
|
}
|
|
|
|
|
|
+uint32_t xPortGetTickRateHz(void) {
|
|
|
+ return (uint32_t)configTICK_RATE_HZ;
|
|
|
+}
|
|
|
+
|
|
|
BaseType_t xPortInIsrContext(void)
|
|
|
{
|
|
|
return uxInterruptNesting;
|