tag	line	file	source code
fdc_busy	214	kernel/blk_drv/floppy.c	static volatile int format_status = FORMAT_NONE, fdc_busy = 0;
fdc_busy	935	kernel/blk_drv/floppy.c	if (!fdc_busy)
fdc_busy	937	kernel/blk_drv/floppy.c	fdc_busy = 0;
fdc_busy	1027	kernel/blk_drv/floppy.c	while (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1028	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1082	kernel/blk_drv/floppy.c	if (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1084	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1125	kernel/blk_drv/floppy.c	while (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1126	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1133	kernel/blk_drv/floppy.c	fdc_busy = 0;