diff --git a/Source/portable/GCC/ARM_CM3_MPU/port.c b/Source/portable/GCC/ARM_CM3_MPU/port.c
index 0074c5bce..93caade95 100644
--- a/Source/portable/GCC/ARM_CM3_MPU/port.c
+++ b/Source/portable/GCC/ARM_CM3_MPU/port.c
@@ -751,14 +751,15 @@ portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
 }
 /*-----------------------------------------------------------*/
 
-void MPU_vTaskList( signed char *pcWriteBuffer )
-{
-portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
-
-	vTaskList( pcWriteBuffer );
-    portRESET_PRIVILEGE( xRunningPrivileged );
-}
-
+#if ( configUSE_TRACE_FACILITY == 1 )
+	void MPU_vTaskList( signed char *pcWriteBuffer )
+	{
+	portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
+	
+		vTaskList( pcWriteBuffer );
+		portRESET_PRIVILEGE( xRunningPrivileged );
+	}
+#endif
 /*-----------------------------------------------------------*/
 
 #if ( configGENERATE_RUN_TIME_STATS == 1 )