/* Unlike notify_remote_via_evtchn(), this is safe to use across save/restore. Notifications on a broken connection are silently dropped.  */
void notify_remote_via_irq(int irq)
/* Unlike notify_remote_via_evtchn(), this is safe to use across save/restore. Notifications on a broken connection are silently dropped.  */
void notify_remote_via_irq(int irq)
{
	int evtchn = evtchn_from_irq(irq);
	if (VALID_EVTCHN(evtchn))
		notify_remote_via_evtchn(evtchn);
}