INTCSR_INBOX_FULL_INT
outl(0x2000 | INTCSR_INBOX_FULL_INT,
outl(INTCSR_INBOX_INTR_STATUS | 0x2000 | INTCSR_INBOX_FULL_INT,
INTCSR_INBOX_FULL_INT;