tag	line	file	source code
user_reset_fdc	3284	drivers/block/floppy.c	return user_reset_fdc(drive, (int)param, 1);
user_reset_fdc	3891	drivers/block/floppy.c	if (user_reset_fdc(-1,FD_RESET_ALWAYS,0)){
user_reset_fdc	3913	drivers/block/floppy.c	user_reset_fdc(-1,FD_RESET_ALWAYS,0);