i, !tmp->rdev->in_sync, !tmp->rdev->faulty, 
i, !test_bit(In_sync, &tmp->rdev->flags), !test_bit(Faulty, &tmp->rdev->flags), 
static void print_conf(conf_t *conf){	int i;	mirror_info_t *tmp;	printk("RAID1 conf printout:\n");	if (!conf) {		printk("(!conf)\n");		return;	}	printk(" --- wd:%d rd:%d\n", conf->working_disks,		conf->raid_disks);	for (i = 0; i < conf->raid_disks; i++) {		char b[BDEVNAME_SIZE];		tmp = conf->mirrors + i;		if (tmp->rdev)			printk(" disk %d, wo:%d, o:%d, dev:%s\n",				i, !tmp->rdev->in_sync, !tmp->rdev->faulty,				bdevname(tmp->rdev->bdev,b));	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b2d444d7ad975d555bb919601bcdc0e58975a40e/raid1.c/buggy/drivers/md/raid1.c