BCM2835_MBOX_NUMCHANNELS
for (i = 0; i < BCM2835_MBOX_NUMCHANNELS; ++i)
kcondvar_t sc_chan[BCM2835_MBOX_NUMCHANNELS];
uint32_t sc_mbox[BCM2835_MBOX_NUMCHANNELS];