tag	line	file	source code
CURRENT_DEV	935	kernel/blk_drv/floppy.c	if (current_drive != CURRENT_DEV) {
CURRENT_DEV	937	kernel/blk_drv/floppy.c	current_drive = CURRENT_DEV;