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()
202 static int dump_region(void *opaque, vaddr start, vaddr end, int prot)  in dump_region()
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()
543 bool page_check_range(vaddr start, vaddr len, int flags)  in page_check_range()
621 bool page_check_range_empty(vaddr start, vaddr last)  in page_check_range_empty()
671     vaddr start, last;  in tb_lock_page0()  local
750         vaddr start, len, i;  in page_unprotect()  local
899 void page_reset_target_data(vaddr start, vaddr last)  in page_reset_target_data()