/* Flag the appropriate amo variable and send an IRQ to the specified node.  */
static void xpc_send_activate_IRQ_sn2(unsigned long amos_page_pa, int from_nasid, int to_nasid, int to_phys_cpuid)
/* Flag the appropriate amo variable and send an IRQ to the specified node.  */
static void xpc_send_activate_IRQ_sn2(unsigned long amos_page_pa, int from_nasid, int to_nasid, int to_phys_cpuid)
{
	struct amo *amos = (struct amo *)__va(amos_page_pa +
					      (XPC_ACTIVATE_IRQ_AMOS_SN2 *
					      sizeof(struct amo)));
	(void)xpc_send_IRQ_sn2(&amos[BIT_WORD(from_nasid / 2)],
			       BIT_MASK(from_nasid / 2), to_nasid,
			       to_phys_cpuid, SGI_XPC_ACTIVATE);
}