22 #define DEBUG_BGCOLOR(col) *((u64 *) 0x120000e0) = (u64) (col)
28 extern void init_scr(
void);
29 extern void scr_printf(
const char *, ...)
__attribute__((format(printf,1,2)));
30 extern
void scr_vprintf(const
char *format, va_list opt);
31 extern
void scr_putchar(
int x,
int y, u32 color,
int ch);
32 extern
void ps2GetStackTrace(
unsigned int* results,
int max);
33 extern
void scr_setXY(
int x,
int y);
34 extern
int scr_getX(
void);
35 extern
int scr_getY(
void);
36 extern
void scr_clear(
void);
37 extern
void scr_clearline(
int Y);
38 extern
void scr_clearchar(
int X,
int Y);
39 extern
void scr_setbgcolor(u32 color);
40 extern
void scr_setfontcolor(u32 color);
41 extern
void scr_setcursorcolor(u32 color);
42 extern
void scr_setCursor(
int enable);
43 extern
int scr_getCursor(
void);