if (!xres_new) return 0; if (xres != xres_new) { printk(KERN_INFO "matroxfb: cannot set xres to %d, rounded up to %d\n", xres, xres_new); } 
static int matroxfb_pitch_adjust(CPMINFO int xres, int bpp) {	const int* width;	int xres_new;	DBG(__FUNCTION__)	if (!bpp) return xres;	width = ACCESS_FBINFO(capable.vxres);	if (ACCESS_FBINFO(devflags.precise_width)) {		while (*width) {			if ((*width >= xres) && (matroxfb_test_and_set_rounding(PMINFO *width, bpp) == *width)) {				break;			}			width++;		}		xres_new = *width;	} else {		xres_new = matroxfb_test_and_set_rounding(PMINFO xres, bpp);	}	if (!xres_new) return 0;	if (xres != xres_new) {		printk(KERN_INFO "matroxfb: cannot set xres to %d, rounded up to %d\n", xres, xres_new);	}	return xres_new;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5ea8d9d0384761251db10ecce7618f84b67d50d4/matroxfb_base.c/buggy/drivers/video/matrox/matroxfb_base.c