/* The following set of functions are used for the sending and receiving of IRQs (also known as IPIs). There are two flavors of IRQs, one that is associated with partition activity (SGI_XPC_ACTIVATE) and the other that is associated with channel activity (SGI_XPC_NOTIFY).  */
static u64 xpc_receive_IRQ_amo_sn2(struct amo *amo)
/* The following set of functions are used for the sending and receiving of IRQs (also known as IPIs). There are two flavors of IRQs, one that is associated with partition activity (SGI_XPC_ACTIVATE) and the other that is associated with channel activity (SGI_XPC_NOTIFY).  */
static u64 xpc_receive_IRQ_amo_sn2(struct amo *amo)
{
	return FETCHOP_LOAD_OP(TO_AMO((u64)&amo->variable), FETCHOP_CLEAR);
}