tag	line	file	source code
old_dev	1143	kernel/blk_drv/floppy.c	int old_dev;
old_dev	1146	kernel/blk_drv/floppy.c	old_dev = fd_device[drive];
old_dev	1148	kernel/blk_drv/floppy.c	if (old_dev != inode->i_rdev)
old_dev	1152	kernel/blk_drv/floppy.c	if (old_dev && old_dev != inode->i_rdev)
old_dev	1153	kernel/blk_drv/floppy.c	invalidate_buffers(old_dev);