BCM2835_MBOX_CHAN
while (BCM2835_MBOX_CHAN(sc->sc_mbox[chan]) == 0) {
KASSERT(BCM2835_MBOX_CHAN(chan) == chan);
KASSERT(BCM2835_MBOX_CHAN(data) == 0);
chan = BCM2835_MBOX_CHAN(mbox);
if (BCM2835_MBOX_CHAN(sc->sc_mbox[chan]) != 0) {
(BCM2835_MBOX_CHAN(chan) | BCM2835_MBOX_DATA(data))
rchan = BCM2835_MBOX_CHAN(mbox);