/* Check to see if xpc_handle_notify_IRQ_sn2() dropped any IRQs on the floor because the write to their associated amo variable completed after the IRQ was received.  */
static void xpc_check_for_dropped_notify_IRQ_sn2(struct xpc_partition *part)
/* Check to see if xpc_handle_notify_IRQ_sn2() dropped any IRQs on the floor because the write to their associated amo variable completed after the IRQ was received.  */
static void xpc_check_for_dropped_notify_IRQ_sn2(struct xpc_partition *part)
{
	struct xpc_partition_sn2 *part_sn2 = &part->sn.sn2;
	if (xpc_part_ref(part)) {
		xpc_check_for_sent_chctl_flags_sn2(part);
		part_sn2->dropped_notify_IRQ_timer.expires = jiffies +
		    XPC_DROPPED_NOTIFY_IRQ_WAIT_INTERVAL;
		add_timer(&part_sn2->dropped_notify_IRQ_timer);
		xpc_part_deref(part);
	}
}