iwram_brk/iwram_sbrk
[gbajam21] / src / debug.h
index 844b465..5715da8 100644 (file)
@@ -25,7 +25,7 @@ void vblperf_stop(void);
        } while(0)
 
 
-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, ...);