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(void *pc, const char *fmt, ...) __attribute__((noreturn));