HelenOS sources

bcm2835_mbox_get_fb_size  179 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	if (!bcm2835_mbox_get_fb_size(&width, &height)) {
bcm2835_mbox_get_fb_size  155 kernel/genarch/include/genarch/drivers/bcm2835/mbox.h extern bool bcm2835_mbox_get_fb_size(uint32_t *h, uint32_t *w);