BCM2835 memory mapping for RaspberryPi