Symbol: xen_smp_intr_free_pv