taglinefilesource code
ftape_validate_label327drivers/char/ftape/ftape-eof.cif (!ftape_validate_label((char *) &buffer[30])) {
ftape_validate_label53drivers/char/ftape/ftape-eof.hextern int ftape_validate_label(char *label);
ftape_validate_label566drivers/char/ftape/ftape-read.cif (!ftape_validate_label(&deblock_buffer[30])) {