unsigned long __read_page_state(unsigned offset) 
unsigned long __read_page_state(unsigned long offset) 
unsigned long __read_page_state(unsigned offset){	unsigned long ret = 0;	int cpu;	for_each_online_cpu(cpu) {		unsigned long in;		in = (unsigned long)&per_cpu(page_states, cpu) + offset;		ret += *((unsigned long *)in);	}	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c2f29ea111e3344ed48257c2a142c3db514e1529/page_alloc.c/clean/mm/page_alloc.c