tag	line	file	source code
t12	388	drivers/char/ftape/ecc.c	unsigned char t20, t10, t21, t12, t01, t02;
t12	395	drivers/char/ftape/ecc.c	t12 = gfpow[l1 - l2 + 255];  /* t12 = r^l1/r^l2 */
t12	402	drivers/char/ftape/ecc.c	det = gfadd(t20, gfadd(t10, gfadd(t21, gfadd(t12, gfadd(t01, t02)))));
t12	414	drivers/char/ftape/ecc.c	Ainv[0][1] = gfmul_exp(gfadd(t21, t12), log_det);