88 static uint64_t get_pageflags(unsigned long addr)  in get_pageflags()  function
289 	page1_flags = get_pageflags((unsigned long)map);  in lock_check()
290 	page2_flags = get_pageflags((unsigned long)map + page_size);  in lock_check()
327 	page1_flags = get_pageflags((unsigned long)map);  in unlock_lock_check()
328 	page2_flags = get_pageflags((unsigned long)map + page_size);  in unlock_lock_check()
394 	page1_flags = get_pageflags((unsigned long)map);  in onfault_check()
395 	page2_flags = get_pageflags((unsigned long)map + page_size);  in onfault_check()
404 	page1_flags = get_pageflags((unsigned long)map);  in onfault_check()
405 	page2_flags = get_pageflags((unsigned long)map + page_size);  in onfault_check()
442 	page1_flags = get_pageflags((unsigned long)map);  in unlock_onfault_check()
526 	page1_flags = get_pageflags((unsigned long)map);  in test_lock_onfault_of_present()
527 	page2_flags = get_pageflags((unsigned long)map + page_size);  in test_lock_onfault_of_present()