taglinefilesource code
t20388drivers/char/ftape/ecc.cunsigned char t20, t10, t21, t12, t01, t02;
t20392drivers/char/ftape/ecc.ct20 = gfpow[l2 - l0];  /* t20 = r^l2/r^l0 */
t20402drivers/char/ftape/ecc.cdet = gfadd(t20, gfadd(t10, gfadd(t21, gfadd(t12, gfadd(t01, t02)))));
t20418drivers/char/ftape/ecc.cAinv[1][1] = gfmul_exp(gfadd(t20, t02), log_det);