bcm2835_mbox_read
void bcm2835_mbox_read(bus_space_tag_t, bus_space_handle_t, uint8_t,
bcm2835_mbox_read(iot, ioh, BCMMBOX_CHANARM2VC, &res);