tag	line	file	source code
hlt_disabled	943	drivers/block/floppy.c	static int hlt_disabled=0;
hlt_disabled	949	drivers/block/floppy.c	if (!hlt_disabled){
hlt_disabled	950	drivers/block/floppy.c	hlt_disabled=1;
hlt_disabled	963	drivers/block/floppy.c	if (hlt_disabled){
hlt_disabled	964	drivers/block/floppy.c	hlt_disabled=0;