Symbol: xen_pfn_t