tag	line	file	source code
det	387	drivers/char/ftape/ecc.c	unsigned char det;
det	402	drivers/char/ftape/ecc.c	det = gfadd(t20, gfadd(t10, gfadd(t21, gfadd(t12, gfadd(t01, t02)))));
det	403	drivers/char/ftape/ecc.c	if (!det) {
det	408	drivers/char/ftape/ecc.c	log_det = 255 - gflog[det];
det	433	drivers/char/ftape/ecc.c	unsigned char det;
det	439	drivers/char/ftape/ecc.c	det = gfadd(t1, t2);
det	440	drivers/char/ftape/ecc.c	if (!det) {
det	445	drivers/char/ftape/ecc.c	log_det = 255 - gflog[det];