Added missing va_end().

4 years ago · a2e4051b99
1 changed files with 1 additions and 0 deletions
--- a/kernel/printf.c
+++ b/kernel/printf.c
@ -109,6 +109,7 @@ printf(char *fmt, ...)
				@@ -109,6 +109,7 @@ printf(char *fmt, ...)
      break;
    }
  }
+  va_end(ap);

  if(locking)
    release(&pr.lock);