1 files changed, 5 insertions, 0 deletions
diff --git a/cpukit/libblock/src/flashdisk.c b/cpukit/libblock/src/flashdisk.c
index ed6c6c4eb5..6902e3d0ea 100644
--- a/cpukit/libblock/src/flashdisk.c
+++ b/cpukit/libblock/src/flashdisk.c
@@ -344,6 +344,7 @@ rtems_fdisk_printf (const rtems_flashdisk* fd, const char *format, ...)
     ret =  vfprintf (stdout, format, args);
     fprintf (stdout, "\n");
     fflush (stdout);
+    va_end (args);
   }
   return ret;
 }
@@ -368,6 +369,7 @@ rtems_fdisk_info (const rtems_flashdisk* fd, const char *format, ...)
     ret =  vfprintf (stdout, format, args);
     fprintf (stdout, "\n");
     fflush (stdout);
+    va_end (args);
   }
   return ret;
 }
@@ -392,6 +394,7 @@ rtems_fdisk_warning (const rtems_flashdisk* fd, const char *format, ...)
     ret =  vfprintf (stdout, format, args);
     fprintf (stdout, "\n");
     fflush (stdout);
+    va_end (args);
   }
   return ret;
 }
@@ -414,6 +417,7 @@ rtems_fdisk_error (const char *format, ...)
   ret =  vfprintf (stderr, format, args);
   fprintf (stderr, "\n");
   fflush (stderr);
+  va_end (args);
   return ret;
 }
 
@@ -432,6 +436,7 @@ rtems_fdisk_abort (const char *format, ...)
   vfprintf (stderr, format, args);
   fprintf (stderr, "\n");
   fflush (stderr);
+  va_end (args);
   exit (1);
 }