Symbol: xen_pvh_domain