Rev 3 | Go to most recent revision | Details | Last modification | View Log | RSS feed
/* si trova in fs/util/ */
void dump_buffer(char *buf, int size);