tag	line	file	source code
FD_RESET_ALWAYS	2827	drivers/block/floppy.c	if (arg == FD_RESET_ALWAYS)
FD_RESET_ALWAYS	4026	drivers/block/floppy.c	if (user_reset_fdc(-1,FD_RESET_ALWAYS,0)){
FD_RESET_ALWAYS	4047	drivers/block/floppy.c	user_reset_fdc(-1,FD_RESET_ALWAYS,0);