tag	line	file	source code
FDFLUSH	3103	drivers/block/floppy.c	{FDFLUSH,    11,  0},
FDFLUSH	3257	drivers/block/floppy.c	case FDFLUSH: