port-arc/50793: src/sys/arch/arc/stand/boot/disk.c:131: botched va_* handling ?

[dcb314%hotmail.com@localhost]

>Number:         50793
>Category:       port-arc
>Synopsis:       src/sys/arch/arc/stand/boot/disk.c:131: botched va_* handling ?
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    port-arc-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Feb 12 16:55:00 +0000 2016
>Originator:     David Binderman
>Release:        cvs dated 20160212
>Organization:
>Environment:
>Description:
$ fgrep va_ src/sys/arch/arc/stand/boot/disk.c
	va_list ap;
	va_start(ap, f);
	device = va_arg(ap, char *);
$

No call to va_end anywhere. Suggest add.  

>How-To-Repeat:

>Fix: