while (ahd_linux_run_complete_queue(ahd) != NULL) ; 
ahd_platform_flushwork(struct ahd_softc *ahd){	while (ahd_linux_run_complete_queue(ahd) != NULL)		;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/73a25462100772b72a5d62fd66dff01b53018618/aic79xx_osm.c/buggy/drivers/scsi/aic7xxx/aic79xx_osm.c