Fix get idle memory prototype

chinglee-iot · Oct 19, 2023 · 64df357 · 64df357
1 parent 36e3b7f
commit 64df357
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/FreeRTOS/Test/Coverity/Portable.c b/FreeRTOS/Test/Coverity/Portable.c
@@ -138,6 +138,7 @@ void portAssert()
 }
 /*-----------------------------------------------------------*/
 
+#if ( configNUMBER_OF_CORES == 1 )
 void vApplicationGetIdleTaskMemory( StaticTask_t ** ppxIdleTaskTCBBuffer,
                                     StackType_t ** ppxIdleTaskStackBuffer,
                                     uint32_t * pulIdleTaskStackSize )
@@ -146,6 +147,19 @@ void vApplicationGetIdleTaskMemory( StaticTask_t ** ppxIdleTaskTCBBuffer,
     ( void ) ppxIdleTaskStackBuffer;
     ( void ) pulIdleTaskStackSize;
 }
+#else
+void vApplicationGetIdleTaskMemory( StaticTask_t ** ppxIdleTaskTCBBuffer,
+                                    StackType_t ** ppxIdleTaskStackBuffer,
+                                    uint32_t * pulIdleTaskStackSize,
+				    BaseType_t xCoreID )
+{
+    ( void ) ppxIdleTaskTCBBuffer;
+    ( void ) ppxIdleTaskStackBuffer;
+    ( void ) pulIdleTaskStackSize;
+    ( void ) xCoreID;
+}
+
+#endif
 /*-----------------------------------------------------------*/
 
 void vPortStoreTaskMPUSettings( xMPU_SETTINGS * xMPUSettings,