Symbol: walk_pte_range_inner