tag	line	file	source code
fdc_busy	202	kernel/blk_drv/floppy.c	static volatile int format_status = FORMAT_NONE, fdc_busy = 0;
fdc_busy	904	kernel/blk_drv/floppy.c	if (!fdc_busy)
fdc_busy	906	kernel/blk_drv/floppy.c	fdc_busy = 0;
fdc_busy	996	kernel/blk_drv/floppy.c	while (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	997	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1044	kernel/blk_drv/floppy.c	if (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1046	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1076	kernel/blk_drv/floppy.c	while (fdc_busy) sleep_on(&fdc_wait);
fdc_busy	1077	kernel/blk_drv/floppy.c	fdc_busy = 1;
fdc_busy	1084	kernel/blk_drv/floppy.c	fdc_busy = 0;