if (rdev->faulty) { 
if (test_bit(Faulty, &rdev->flags)) { 
rdev_show_state(mdk_rdev_t *rdev, char *page){	char *sep = "";	int len=0;	if (rdev->faulty) {		len+= sprintf(page+len, "%sfaulty",sep);		sep = ",";	}	if (rdev->in_sync) {		len += sprintf(page+len, "%sin_sync",sep);		sep = ",";	}	if (!rdev->faulty && !rdev->in_sync) {		len += sprintf(page+len, "%sspare", sep);		sep = ",";	}	return len+sprintf(page+len, "\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b2d444d7ad975d555bb919601bcdc0e58975a40e/md.c/buggy/drivers/md/md.c