Symbol: walk_page_range_vma_unsafe