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