165 static PageFlagsNode *pageflags_find(vaddr start, vaddr last)  in pageflags_find()
173 static PageFlagsNode *pageflags_next(PageFlagsNode *p, vaddr start, vaddr last)  in pageflags_next()
257 static void pageflags_create(vaddr start, vaddr last, int flags)  in pageflags_create()
268 static bool pageflags_unset(vaddr start, vaddr last)  in pageflags_unset()
313 static void pageflags_create_merge(vaddr start, vaddr last, int flags)  in pageflags_create_merge()
364 static bool pageflags_set_clear(vaddr start, vaddr last,  in pageflags_set_clear()
503 void page_set_flags(vaddr start, vaddr last, int flags)  in page_set_flags()
545     vaddr last;  in page_check_range()  local
621 bool page_check_range_empty(vaddr start, vaddr last)  in page_check_range_empty()
671     vaddr start, last;  in tb_lock_page0()  local
899 void page_reset_target_data(vaddr start, vaddr last)  in page_reset_target_data()