21 #define DEBUG_BGCOLOR(col) *((u64 *) 0x120000e0) = (u64) (col)
28 void scr_printf(
const char *, ...) __attribute__((format(printf,1,2)));
void ps2GetStackTrace(unsigned int *results, int max)
void scr_setXY(int x, int y)
void scr_printf(const char *,...)
void scr_setbgcolor(u32 color)
void scr_putchar(int x, int y, u32 color, int ch)