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