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 <stdio.h> 9 10 struct kernel_args; 11 12 int con_init(struct kernel_args *ka); 13 void kprintf(const char *fmt, ...) __PRINTFLIKE(1,2); 14 void kprintf_xy(int x, int y, const char *fmt, ...) __PRINTFLIKE(3,4); 15 16 #endif /* _KERNEL_CONSOLE_H */ 17