fix Wiz timer drift and button name
[picodrive.git] / platform / common / lprintf.h
1 extern void lprintf(const char *fmt, ...);
2