/**
* Write message to system log
*
* @v fmt Format string
* @v args Arguments
*/
void log_vprintf ( const char *fmt, va_list args ) {
int saved_usage;
/* Mark console as in use for log messages */
saved_usage = console_set_usage ( CONSOLE_USAGE_LOG );
/* Print message */
vprintf ( fmt, args );
/* Restore console usage */
console_set_usage ( saved_usage );
}
/**
* Print debug message
*
* @v fmt Format string
* @v ... Arguments
*/
void dbg_printf ( const char *fmt, ... ) {
int saved_usage;
va_list args;
/* Mark console as in use for debugging messages */
saved_usage = console_set_usage ( CONSOLE_USAGE_DEBUG );
/* Print message */
va_start ( args, fmt );
vprintf ( fmt, args );
va_end ( args );
/* Restore console usage */
console_set_usage ( saved_usage );
}
