Symbol: xen_psm_acquire_irq