tag	line	file	source code
SIZECODE2	2431	drivers/block/floppy.c	SIZECODE2 = 0xff;
SIZECODE2	2433	drivers/block/floppy.c	SIZECODE2 = 0x80;