CONFIG_RASPBERRYPI_FIRMWARE   11 drivers/staging/vc04_services/interface/vchiq_arm/vchiq.h #if IS_ENABLED(CONFIG_RASPBERRYPI_FIRMWARE)
CONFIG_RASPBERRYPI_FIRMWARE  138 include/soc/bcm2835/raspberrypi-firmware.h #if IS_ENABLED(CONFIG_RASPBERRYPI_FIRMWARE)