1 /* 2 ** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved. 3 ** Distributed under the terms of the NewOS License. 4 */ 5 #ifndef _KERNEL_CONSOLE_H 6 #define _KERNEL_CONSOLE_H 7 8 #include <stage2.h> 9 #include <cdefs.h> 10 11 int con_init(kernel_args *ka); 12 void kprintf(const char *fmt, ...) __PRINTFLIKE(1,2); 13 void kprintf_xy(int x, int y, const char *fmt, ...) __PRINTFLIKE(3,4); 14 15 #endif 16