Symbol: walk_pgd_range