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	931	kernel/blk_drv/floppy.c	if (!fdc_busy)
fdc_busy	933	kernel/blk_drv/floppy.c	fdc_busy = 0;
fdc_busy	1023	kernel/blk_drv/floppy.c	while (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1024	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1076	kernel/blk_drv/floppy.c	if (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1078	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1111	kernel/blk_drv/floppy.c	while (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1112	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1119	kernel/blk_drv/floppy.c	fdc_busy = 0;