Details | Last modification | View Log | RSS feed
/* si trova in fs/util/ */
void dump_buffer(char *buf, int size);