HelenOS sources

bcm2835_mbox_t     40 kernel/genarch/src/drivers/bcm2835/mbox.c static void mbox_write(bcm2835_mbox_t *mbox, uint8_t chan, uint32_t value)
bcm2835_mbox_t     47 kernel/genarch/src/drivers/bcm2835/mbox.c static uint32_t mbox_read(bcm2835_mbox_t *mbox, uint8_t chan)
bcm2835_mbox_t     72 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox_write((bcm2835_mbox_t *)BCM2835_MBOX0_ADDR,
bcm2835_mbox_t     74 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox_read((bcm2835_mbox_t *)BCM2835_MBOX0_ADDR,
bcm2835_mbox_t     90 kernel/genarch/src/drivers/bcm2835/mbox.c 	bcm2835_mbox_t *fb_mbox;
bcm2835_mbox_t     94 kernel/genarch/src/drivers/bcm2835/mbox.c 	fb_mbox = (void *) km_map(BCM2835_MBOX0_ADDR, sizeof(bcm2835_mbox_t),
bcm2835_mbox_t    126 kernel/genarch/src/drivers/bcm2835/mbox.c 	km_unmap((uintptr_t)fb_mbox, sizeof(bcm2835_mbox_t));
bcm2835_mbox_t    134 kernel/genarch/src/drivers/bcm2835/mbox.c 	bcm2835_mbox_t *mbox;
bcm2835_mbox_t    136 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox = (void *) km_map(BCM2835_MBOX0_ADDR, sizeof(bcm2835_mbox_t),
bcm2835_mbox_t    157 kernel/genarch/src/drivers/bcm2835/mbox.c 	km_unmap((uintptr_t) mbox, sizeof(bcm2835_mbox_t));