port-sparc64/50531: src/sys/arch/sparc64/sparc64/clock.c:725: bad printf ?

[dcb314%hotmail.com@localhost]

>Number:         50531
>Category:       port-sparc64
>Synopsis:       src/sys/arch/sparc64/sparc64/clock.c:725: bad printf ?
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    port-sparc64-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Dec 11 10:05:00 +0000 2015
>Originator:     David Binderman
>Release:        cvs dated 20151210
>Organization:
>Environment:
>Description:

[src/sys/arch/sparc64/sparc64/clock.c:725]: (error) printf format string requires 4 parameters but only 2 are given.

   printf("statclock: count %x:%x, limit %x:%x\n",
          timerreg_4u.t_timer[1].t_count,timerreg_4u.t_timer[1].t_limit);

>How-To-Repeat:

>Fix: