RECV_CPU
set = readb(mbox->mbox_base + MBOX_SET_INT_REG(RECV_CPU));
MBOX_SET_CLR_REG(RECV_CPU));
writeb(~valid, mbox->mbox_base + MBOX_EN_REG(RECV_CPU));