tag	line	file	source code
SETF	1273	drivers/block/floppy.c	SETF(FD_NEED_TWADDLE);
SETF	1430	drivers/block/floppy.c	SETF(FD_DISK_WRITABLE);
SETF	1455	drivers/block/floppy.c	SETF(FD_DISK_CHANGED);
SETF	1809	drivers/block/floppy.c	SETF(FD_DISK_NEWCHANGE);
SETF	2707	drivers/block/floppy.c	SETF(FD_DISK_NEWCHANGE);