tag	line	file	source code
read_done	162	drivers/char/ftape/ftape-read.c	int read_done = 0;
read_done	193	drivers/char/ftape/ftape-read.c	while (!read_done && buffer[tail].status == done) {
read_done	237	drivers/char/ftape/ftape-read.c	read_done = 1;
read_done	240	drivers/char/ftape/ftape-read.c	read_done = 1;
read_done	254	drivers/char/ftape/ftape-read.c	if (!read_done && buffer[tail].status == reading) {
read_done	307	drivers/char/ftape/ftape-read.c	read_done = 1;
read_done	318	drivers/char/ftape/ftape-read.c	if (read_done) {
read_done	354	drivers/char/ftape/ftape-read.c	if (read_done) {