IOCSR_IPI_BUF_20
offset = IOCSR_IPI_BUF_20 + mailbox * 4;
case IOCSR_IPI_BUF_20 ... IOCSR_IPI_BUF_38 + 7:
case IOCSR_IPI_BUF_20: