struct page * follow_page(struct mm_struct *mm, unsigned long addr, int write) 
struct page *follow_page(struct mm_struct *mm, unsigned long address, unsigned int foll_flags) 
struct page * follow_page(struct mm_struct *mm, unsigned long addr, int write){	return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/deceb6cd17e6dfafe4c4f81b1b4153bc41b2cb70/nommu.c/clean/mm/nommu.c