HelenOS sources

mbox_getfbsize_buf_t  133 kernel/genarch/src/drivers/bcm2835/mbox.c 	MBOX_BUFF_ALLOC(msg, mbox_getfbsize_buf_t);
mbox_getfbsize_buf_t  140 kernel/genarch/src/drivers/bcm2835/mbox.c 	msg->buf_hdr.size = sizeof(mbox_getfbsize_buf_t);