7 extern unsigned char font_8x8[];
9 extern uint16_t vblperf_color[];
10 uint16_t *vblperf_palptr;
11 volatile int vblperf_count;
13 void vblperf_setcolor(int palidx);
15 #define vblperf_begin() \
17 *vblperf_palptr = 0; \
21 #define vblperf_end() \
23 *vblperf_palptr = vblperf_color[vblperf_count]; \
27 void panic(void *pc, const char *fmt, ...) __attribute__((noreturn));
29 void dbg_drawglyph(int x, int y, int c);
30 int dbg_drawstr(int x, int y, const char *fmt, ...);
31 int dbg_vdrawstr(int x, int y, const char *fmt, va_list ap);
33 void emuprint(const char *fmt, ...);