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);
16 #define vblperf_begin() \
18 *vblperf_palptr = 0; \
22 #define vblperf_end() \
24 *vblperf_palptr = vblperf_color[vblperf_count]; \
27 #define vblperf_begin()
31 void panic(void *pc, const char *fmt, ...) __attribute__((noreturn));
33 void dbg_drawglyph(int x, int y, int c);
34 int dbg_drawstr(int x, int y, const char *fmt, ...);
35 int dbg_vdrawstr(int x, int y, const char *fmt, va_list ap);
37 void emuprint(const char *fmt, ...);