70 static uint64_t get_pageflags(unsigned long addr)  in get_pageflags()  function
231 	page1_flags = get_pageflags((unsigned long)map);  in lock_check()
232 	page2_flags = get_pageflags((unsigned long)map + page_size);  in lock_check()
269 	page1_flags = get_pageflags((unsigned long)map);  in unlock_lock_check()
270 	page2_flags = get_pageflags((unsigned long)map + page_size);  in unlock_lock_check()
336 	page1_flags = get_pageflags((unsigned long)map);  in onfault_check()
337 	page2_flags = get_pageflags((unsigned long)map + page_size);  in onfault_check()
346 	page1_flags = get_pageflags((unsigned long)map);  in onfault_check()
347 	page2_flags = get_pageflags((unsigned long)map + page_size);  in onfault_check()
384 	page1_flags = get_pageflags((unsigned long)map);  in unlock_onfault_check()
468 	page1_flags = get_pageflags((unsigned long)map);  in test_lock_onfault_of_present()
469 	page2_flags = get_pageflags((unsigned long)map + page_size);  in test_lock_onfault_of_present()