blob: 92442ac268ea5a5c3f5702362b0c5dbe1bfc79b6 (
plain)
1
2
3
4
5
6
7
|
int printf(const char* fmt, ...) __attribute__ ((format (printf, 1, 2)));;
int puts(const char*);
int putchar(int);
/* sets the I/O functions, allows easy switching between text mode and VBE */
void set_putchar(void (*func)(char));
void set_puts(void (*func)(const char*));
|
