check_user_page_readable(struct mm_struct *mm, unsigned long address) 
int check_user_page_readable(struct mm_struct *mm, unsigned long address) 
check_user_page_readable(struct mm_struct *mm, unsigned long address){	return __follow_page(mm, address, /*read*/1, /*write*/0) != NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1aaf18ff9de1f37bf674236fc0779c3aaa65b998/memory.c/clean/mm/memory.c