ompic_writereg
ompic_writereg(ompic_base, OMPIC_CTRL(src_cpu),
ompic_writereg(ompic_base, OMPIC_CTRL(cpu), OMPIC_CTRL_IRQ_ACK);