HelenOS sources

BCM2835_MBOX0_ADDR   72 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox_write((bcm2835_mbox_t *)BCM2835_MBOX0_ADDR,
BCM2835_MBOX0_ADDR   74 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox_read((bcm2835_mbox_t *)BCM2835_MBOX0_ADDR,
BCM2835_MBOX0_ADDR   94 kernel/genarch/src/drivers/bcm2835/mbox.c 	fb_mbox = (void *) km_map(BCM2835_MBOX0_ADDR, sizeof(bcm2835_mbox_t),
BCM2835_MBOX0_ADDR  136 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox = (void *) km_map(BCM2835_MBOX0_ADDR, sizeof(bcm2835_mbox_t),