del_timer_sync(&dev->timer); __ahc_linux_free_device(ahc, dev); 
struct ahc_linux_target *targ;  targ = dev->target; targ->devices[dev->lun] = NULL; free(dev, M_DEVBUF); targ->refcount--; if (targ->refcount == 0) ahc_linux_free_target(ahc, targ); 
ahc_linux_free_device(struct ahc_softc *ahc, struct ahc_linux_device *dev){	del_timer_sync(&dev->timer);	__ahc_linux_free_device(ahc, dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c7525233d2df39b95552f6f49c6b390a9c4d2e80/aic7xxx_osm.c/buggy/drivers/scsi/aic7xxx/aic7xxx_osm.c