HelenOS sources

MBOX_CHAN_FB      108 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox_write(fb_mbox, MBOX_CHAN_FB, KA2VCA(fb_desc));
MBOX_CHAN_FB      110 kernel/genarch/src/drivers/bcm2835/mbox.c 	if (mbox_read(fb_mbox, MBOX_CHAN_FB)) {
HelenOS homepage, sources at GitHub