tag	line	file	source code
hlt_disabled	814	drivers/block/floppy.c	static int hlt_disabled=0;
hlt_disabled	820	drivers/block/floppy.c	if(!hlt_disabled){
hlt_disabled	821	drivers/block/floppy.c	hlt_disabled=1;
hlt_disabled	834	drivers/block/floppy.c	if(hlt_disabled){
hlt_disabled	835	drivers/block/floppy.c	hlt_disabled=0;