util/vgabios/include/console/console.h

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #ifndef _CONSOLE_CONSOLE_H
   4 #define _CONSOLE_CONSOLE_H
   5
   6 int printk(int msg_level, const char *fmt, ...) __attribute__((format(printf, 2, 3)));
   7
   8 #endif