Symbol: free_pgd_range