HelenOS sources

bcm2835_prop_get_memory  143 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	if (bcm2835_prop_get_memory(&mbase, &msize)) {
bcm2835_prop_get_memory  153 kernel/genarch/include/genarch/drivers/bcm2835/mbox.h extern bool bcm2835_prop_get_memory(uint32_t *base, uint32_t *size);