/** * 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 ); }