69     CVMX_LOG_TYPE_PRINTF,   /**< Constant printf format string with two 64bit arguments */
244  * Log a constant printf style format string with 0 to 4
248  * @param format  Constant printf style format string.
250 void cvmx_log_printf0(const char *format)  in cvmx_log_printf0()  argument
253     __cvmx_log_write(CAST64(format));  in cvmx_log_printf0()
258  * Log a constant printf style format string with 0 to 4
262  * @param format  Constant printf style format string.
263  * @param number1 64bit argument to the printf format string
265 void cvmx_log_printf1(const char *format, uint64_t number1)  in cvmx_log_printf1()  argument
268     __cvmx_log_write(CAST64(format));  in cvmx_log_printf1()
274  * Log a constant printf style format string with 0 to 4
278  * @param format  Constant printf style format string.
279  * @param number1 64bit argument to the printf format string
280  * @param number2 64bit argument to the printf format string
282 void cvmx_log_printf2(const char *format, uint64_t number1, uint64_t number2)  in cvmx_log_printf2()  argument
285     __cvmx_log_write(CAST64(format));  in cvmx_log_printf2()
292  * Log a constant printf style format string with 0 to 4
296  * @param format  Constant printf style format string.
297  * @param number1 64bit argument to the printf format string
298  * @param number2 64bit argument to the printf format string
299  * @param number3 64bit argument to the printf format string
301 void cvmx_log_printf3(const char *format, uint64_t number1, uint64_t number2, uint64_t number3)  in cvmx_log_printf3()  argument
304     __cvmx_log_write(CAST64(format));  in cvmx_log_printf3()
312  * Log a constant printf style format string with 0 to 4
316  * @param format  Constant printf style format string.
317  * @param number1 64bit argument to the printf format string
318  * @param number2 64bit argument to the printf format string
319  * @param number3 64bit argument to the printf format string
320  * @param number4 64bit argument to the printf format string
322 void cvmx_log_printf4(const char *format, uint64_t number1, uint64_t number2, uint64_t number3, uin…  in cvmx_log_printf4()  argument
325     __cvmx_log_write(CAST64(format));  in cvmx_log_printf4()
463  * Display the current log in a human readable format.