uint16_t *vblperf_palptr;
volatile int vblperf_count;
-void vblperf_start(int palidx);
-void vblperf_stop(void);
+void vblperf_setcolor(int palidx);
+#ifdef VBLBAR
#define vblperf_begin() \
do { \
*vblperf_palptr = 0; \
do { \
*vblperf_palptr = vblperf_color[vblperf_count]; \
} while(0)
+#else
+#define vblperf_begin()
+#define vblperf_end()
+#endif
-
-void panic(uint32_t pc, const char *fmt, ...);
+void panic(void *pc, const char *fmt, ...) __attribute__((noreturn));
void dbg_drawglyph(int x, int y, int c);
int dbg_drawstr(int x, int y, const char *fmt, ...);