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;