mbox_read_4
msg = mbox_read_4(sc, REG_READ);
while (!(mbox_read_4(sc, REG_STATUS) & STATUS_EMPTY))
while ((mbox_read_4(sc, REG_STATUS) & STATUS_EMPTY) == 0)
(void)mbox_read_4(sc, REG_READ);
while ((mbox_read_4(sc, REG_STATUS) & STATUS_FULL) && --limit)
while ((mbox_read_4(sc, REG_STATUS) & STATUS_EMPTY))