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	933	kernel/blk_drv/floppy.c	if (!fdc_busy)
fdc_busy	935	kernel/blk_drv/floppy.c	fdc_busy = 0;
fdc_busy	1025	kernel/blk_drv/floppy.c	while (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1026	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1078	kernel/blk_drv/floppy.c	if (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1080	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1113	kernel/blk_drv/floppy.c	while (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1114	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1121	kernel/blk_drv/floppy.c	fdc_busy = 0;