HelenOS sources

MBOX_CHAN_PROP_A2V   73 kernel/genarch/src/drivers/bcm2835/mbox.c 	    MBOX_CHAN_PROP_A2V, KA2VCA((uint32_t)req));
MBOX_CHAN_PROP_A2V   75 kernel/genarch/src/drivers/bcm2835/mbox.c 	    MBOX_CHAN_PROP_A2V);
MBOX_CHAN_PROP_A2V  148 kernel/genarch/src/drivers/bcm2835/mbox.c 	    MBOX_CHAN_PROP_A2V, KA2VCA((uint32_t)msg));
MBOX_CHAN_PROP_A2V  149 kernel/genarch/src/drivers/bcm2835/mbox.c 	mbox_read(mbox, MBOX_CHAN_PROP_A2V);