Symbol: PRI_xen_long