diff --git a/devicemodel/hw/platform/acpi/acpi.c b/devicemodel/hw/platform/acpi/acpi.c
index 72cb90346..98c6c2aeb 100644
--- a/devicemodel/hw/platform/acpi/acpi.c
+++ b/devicemodel/hw/platform/acpi/acpi.c
@@ -848,6 +848,7 @@ dsdt_line(const char *fmt, ...)
 	return;
 
 err_exit:
+	va_end(ap);
 	dsdt_error = -1;
 }