BCM2835_MBOX_CHANS
for (i = 0; i < BCM2835_MBOX_CHANS; i++) {
int msg[BCM2835_MBOX_CHANS];
int have_message[BCM2835_MBOX_CHANS];