tag	line	file	source code
margin	550	drivers/char/ftape/ftape-rw.c	static int margin = 1;  /* fixed: stop this before target */
margin	554	drivers/char/ftape/ftape-rw.c	int target = segment_id - margin;
margin	569	drivers/char/ftape/ftape-rw.c	location.sector, segment_id, margin);
margin	574	drivers/char/ftape/ftape-rw.c	expected = segment_id - margin;
margin	601	drivers/char/ftape/ftape-rw.c	location.segment > expected + margin)) {
margin	644	drivers/char/ftape/ftape-rw.c	static const int margin = 1;  /* stop this before target */
margin	648	drivers/char/ftape/ftape-rw.c	int target = segment_id - margin;
margin	661	drivers/char/ftape/ftape-rw.c	location.segment, location.sector, segment_id, margin);
margin	693	drivers/char/ftape/ftape-rw.c	location.segment > expected + margin)) {