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