kernel-fxtec-pro1x/include/soc/bcm2835
..
raspberrypi-firmware.h