dragonheart_kernel_oneplus_.../include/soc/bcm2835
..
raspberrypi-firmware.h