port-powerpc/50795: src/sys/arch/powerpc/oea/pmap.c:3139: botched va_* handling ?

[dcb314%hotmail.com@localhost]

>Number:         50795
>Category:       port-powerpc
>Synopsis:       src/sys/arch/powerpc/oea/pmap.c:3139: botched va_* handling ?
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    port-powerpc-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Feb 12 17:00:00 +0000 2016
>Originator:     David Binderman
>Release:        cvs dated 20160212
>Organization:
>Environment:
>Description:
Source code is

    TLBSYNC();
    SYNC();
    return (0);
}


Suggest add missing call to va_end.


>How-To-Repeat:

>Fix: