diff --git a/FreeRTOS/Test/Coverity/Portable.c b/FreeRTOS/Test/Coverity/Portable.c
index f2ed0eb0014..ca6fbb8748e 100644
--- 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,