HelenOS sources

MBOX_BUFF_ALLOC    63 kernel/genarch/src/drivers/bcm2835/mbox.c 	MBOX_BUFF_ALLOC(req, mbox_getmem_buf_t);
MBOX_BUFF_ALLOC    92 kernel/genarch/src/drivers/bcm2835/mbox.c 	MBOX_BUFF_ALLOC(fb_desc, bcm2835_fb_desc_t);
MBOX_BUFF_ALLOC   133 kernel/genarch/src/drivers/bcm2835/mbox.c 	MBOX_BUFF_ALLOC(msg, mbox_getfbsize_buf_t);