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