return nr_free_pages() > (nr_copy_pages + PAGES_FOR_IO + nr_copy_pages/PBES_PER_PAGE + !!(nr_copy_pages%PBES_PER_PAGE)); 
return nr_free_pages() > (nr_pages + PAGES_FOR_IO + (nr_pages + PBES_PER_PAGE - 1) / PBES_PER_PAGE); 
static int enough_free_mem(void){	pr_debug("swsusp: available memory: %u pages\n", nr_free_pages());	return nr_free_pages() > (nr_copy_pages + PAGES_FOR_IO +		nr_copy_pages/PBES_PER_PAGE + !!(nr_copy_pages%PBES_PER_PAGE));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a0f496517f3e28d651d0cbbcf2d4fb701ed6957e/snapshot.c/buggy/kernel/power/snapshot.c