hlt_max_code     1279 drivers/block/floppy.c 	int hlt_max_code = 0x7f;
hlt_max_code     1310 drivers/block/floppy.c 		hlt_max_code = 0x00;	/* 0==256msec*dtr0/dtr (not linear!) */
hlt_max_code     1326 drivers/block/floppy.c 		hlt = hlt_max_code;