int gdth_eh_device_reset(Scsi_Cmnd *scp) 
static int gdth_eh_device_reset(Scsi_Cmnd *scp) 
int gdth_eh_device_reset(Scsi_Cmnd *scp){    TRACE2(("gdth_eh_device_reset()\n"));    return FAILED;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8e8790415e91964096f862a58cacb55d2bc9a817/gdth.c/buggy/drivers/scsi/gdth.c