int extra = 0; int mod = !!(nr_copy % PBES_PER_PAGE); int diff = (nr_copy / PBES_PER_PAGE) + mod;  do { extra += diff; nr_copy += diff; mod = !!(nr_copy % PBES_PER_PAGE); diff = (nr_copy / PBES_PER_PAGE) + mod - extra; } while (diff > 0);  return nr_copy; 
return nr_copy + (nr_copy+PBES_PER_PAGE-2)/(PBES_PER_PAGE-1); 
static int calc_nr(int nr_copy){	int extra = 0;	int mod = !!(nr_copy % PBES_PER_PAGE);	int diff = (nr_copy / PBES_PER_PAGE) + mod;	do {		extra += diff;		nr_copy += diff;		mod = !!(nr_copy % PBES_PER_PAGE);		diff = (nr_copy / PBES_PER_PAGE) + mod - extra;	} while (diff > 0);	return nr_copy;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/56057e1a128a9aab516350500e5b154e70577929/swsusp.c/buggy/kernel/power/swsusp.c