static void *alloc_image_page(void) 
static inline void *alloc_image_page(gfp_t gfp_mask, int safe_needed) 
static void *alloc_image_page(void){	void *res = (void *)get_zeroed_page(GFP_ATOMIC | __GFP_COLD);	if (res) {		SetPageNosave(virt_to_page(res));		SetPageNosaveFree(virt_to_page(res));	}	return res;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/054bd4c18853f3a3851bd97aa90e11022a69dc42/snapshot.c/clean/kernel/power/snapshot.c