pcp->batch = max(1UL, 1 * batch); 
pcp->batch = max(1UL, batch/2); 
inline void setup_pageset(struct per_cpu_pageset *p, unsigned long batch){	struct per_cpu_pages *pcp;	memset(p, 0, sizeof(*p));	pcp = &p->pcp[0];		/* hot */	pcp->count = 0;	pcp->low = 2 * batch;	pcp->high = 6 * batch;	pcp->batch = max(1UL, 1 * batch);	INIT_LIST_HEAD(&pcp->list);	pcp = &p->pcp[1];		/* cold*/	pcp->count = 0;	pcp->low = 0;	pcp->high = 2 * batch;	pcp->batch = max(1UL, 1 * batch);	INIT_LIST_HEAD(&pcp->list);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e46a5e28c201f703c18b47b108bfddec44f897c4/page_alloc.c/buggy/mm/page_alloc.c