port-sgimips/50796: src/sys/arch/sgimips/stand/common/disk.c:131: botched va_* handling ?

[dcb314%hotmail.com@localhost]

>Number:         50796
>Category:       port-sgimips
>Synopsis:       src/sys/arch/sgimips/stand/common/disk.c:131: botched va_* handling ?
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    port-sgimips-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Feb 12 17:00:01 +0000 2016
>Originator:     David Binderman
>Release:        cvs dated 20160212
>Organization:
>Environment:
>Description:

$ fgrep va_ src/sys/arch/sgimips/stand/common/disk.c
	va_list ap;
	va_start(ap, f);
	device = va_arg(ap, char *);
$


Suggest add missing call to va_end.


>How-To-Repeat:

>Fix: