tag	line	file	source code
hlt_disabled	953	drivers/block/floppy.c	static int hlt_disabled=0;
hlt_disabled	959	drivers/block/floppy.c	if(!hlt_disabled){
hlt_disabled	960	drivers/block/floppy.c	hlt_disabled=1;
hlt_disabled	973	drivers/block/floppy.c	if(hlt_disabled){
hlt_disabled	974	drivers/block/floppy.c	hlt_disabled=0;