Symbol: BCM2835_VCBUS_IO_BASE