HelenOS sources

KA2VCA             73 kernel/genarch/src/drivers/bcm2835/mbox.c 	    MBOX_CHAN_PROP_A2V, KA2VCA((uint32_t)req));
KA2VCA            108 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox_write(fb_mbox, MBOX_CHAN_FB, KA2VCA(fb_desc));
KA2VCA            148 kernel/genarch/src/drivers/bcm2835/mbox.c 	    MBOX_CHAN_PROP_A2V, KA2VCA((uint32_t)msg));