tag	line	file	source code
hlt_max_code	1228	drivers/block/floppy.c	int hlt_max_code = 0x7f;
hlt_max_code	1266	drivers/block/floppy.c	hlt_max_code = 0x00; /* 0==256msec*dtr0/dtr (not linear!) */
hlt_max_code	1279	drivers/block/floppy.c	hlt = hlt_max_code;