rpi_firmware_property  145 drivers/firmware/raspberrypi.c int rpi_firmware_property(struct rpi_firmware *fw,
rpi_firmware_property  145 include/soc/bcm2835/raspberrypi-firmware.h static inline int rpi_firmware_property(struct rpi_firmware *fw, u32 tag,