CLEAR_BEBOX_REG
CLEAR_BEBOX_REG(CPU1_INT_MASK, BEBOX_INTR_MASK);
CLEAR_BEBOX_REG(CPU0_INT_MASK, 1 << (31 - irq));
CLEAR_BEBOX_REG(CPU_CONTROL, TLBISYNC_FROM(cpuid));