tag	line	file	source code
dot_prod	467	drivers/char/ftape/ecc.c	unsigned char dot_prod;
dot_prod	470	drivers/char/ftape/ecc.c	dot_prod = 0;
dot_prod	472	drivers/char/ftape/ecc.c	dot_prod = gfadd(dot_prod, gfmul(A[i][j], s[j]));
dot_prod	474	drivers/char/ftape/ecc.c	b[i] = dot_prod;