Symbol: xen_add_to_physmap