NAME
        KPrintF - print formatted data to the console
                  (defaults to the serial port at 9600 baud)

   SYNOPSIS
        KPrintF("format string",values)
                 A0             A1

   FUNCTION
        print a formatted C-type string to the console.  See the
        exec rawdofmt() call for the supported % formatting commands.

   INPUTS
        "format string" - A C style string with % commands to indicate
                          where paramters are to be inserted.
        values - A pointer to an array of paramters, to be inserted into
                 specified places in the string.

        KPutFmt and KPrintF are identical assembly interfaces that want the
        two pointers in registers.  _KPrintF and _kprintf are C interfaces
        that expect the format string pointer on the stack, and the
        paramters on the stack above that.

   SEE ALSO
        exec.library/rawdofmt, any c compiler's "printf" call.