Symbol: BCM2835_INTC_BASE