new code to collect/use more stats, some debug tools

[picodrive.git] / platform / linux / log_io.h

void log_io_clear(void);
void log_io_dump(void);