1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <stdio.h> 4 #include <stdarg.h> 5 #include <console/console.h> 6 printk(int msg_level,const char * const fmt,...)7int printk(int msg_level, const char *const fmt, ...) 8 { 9 va_list args; 10 int i; 11 12 va_start(args, fmt); 13 i = vfprintf(stderr, fmt, args); 14 va_end(args); 15 16 return i; 17 } 18