i, !tmp->rdev->faulty, 
i, !test_bit(Faulty, &tmp->rdev->flags), 
static void print_raid5_conf (raid5_conf_t *conf){	int i;	struct disk_info *tmp;	printk("RAID5 conf printout:\n");	if (!conf) {		printk("(conf==NULL)\n");		return;	}	printk(" --- rd:%d wd:%d fd:%d\n", conf->raid_disks,		 conf->working_disks, conf->failed_disks);	for (i = 0; i < conf->raid_disks; i++) {		char b[BDEVNAME_SIZE];		tmp = conf->disks + i;		if (tmp->rdev)		printk(" disk %d, o:%d, dev:%s\n",			i, !tmp->rdev->faulty,			bdevname(tmp->rdev->bdev,b));	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b2d444d7ad975d555bb919601bcdc0e58975a40e/raid5.c/buggy/drivers/md/raid5.c