Symbol: dax_to_pfn