1 files changed, 16 insertions, 0 deletions
diff --git a/src/stdarg/va_end.h b/src/stdarg/va_end.h
new file mode 100644
index 00000000..62e585ae
--- /dev/null
+++ b/src/stdarg/va_end.h
@@ -0,0 +1,16 @@
+#define va_end(__ap)                                      __builtin_va_end(__ap)
+
+/** end processing unnamed arguments **/
+
+/***
+stops processing unnamed arguments that were previously begun with a call to
+FUNCTION(va_start) so that the enclosing function may return normally.
+***/
+
+/*
+PROTOTYPE(void va_end(va_list ap);)
+UNDEFINED(ARGUMENT(ap) was not initialized by FUNCTION(va_start))
+UNDEFINED(THIS() is not called in the same function as FUNCTION(va_start))
+
+STDC(1)
+*/