AIC_WRITE
AIC_WRITE(sc, AIC_SW_SET(irqbase), mask);
AIC_WRITE(sc, AIC_MASK_CLR(irqbase), mask);
AIC_WRITE(sc, AIC_AFFINITY(is->is_irq), __BIT(0));
AIC_WRITE(sc, AIC_MASK_CLR(is->is_irq),
AIC_WRITE(sc, AIC_IPI_SEND, __BIT(target));
AIC_WRITE(sc, AIC_SW_CLR(evdata),
AIC_WRITE(sc, AIC_IPI_ACK, AIC_IPI_OTHER);
AIC_WRITE(sc, clr_reg, clr_val);
AIC_WRITE(sc, AIC_IPI_MASK_CLR, AIC_IPI_OTHER);