void __mod_page_state(unsigned offset, unsigned long delta) 
void __mod_page_state(unsigned long offset, unsigned long delta) 
void __mod_page_state(unsigned offset, unsigned long delta){	unsigned long flags;	void* ptr;	local_irq_save(flags);	ptr = &__get_cpu_var(page_states);	*(unsigned long*)(ptr + offset) += delta;	local_irq_restore(flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/83e5d8f7253cb7b14472385a6d57df1e9f848e8e/page_alloc.c/clean/mm/page_alloc.c