tag	line	file	source code
hlt_disabled	938	drivers/block/floppy.c	static int hlt_disabled=0;
hlt_disabled	944	drivers/block/floppy.c	if (!hlt_disabled){
hlt_disabled	945	drivers/block/floppy.c	hlt_disabled=1;
hlt_disabled	958	drivers/block/floppy.c	if (hlt_disabled){
hlt_disabled	959	drivers/block/floppy.c	hlt_disabled=0;