Symbol: xen_intr_barrier