root/include/soc/bcm2835/

[..]
  1. raspberrypi-firmware.h
[..]