Re: [PATCH v6 08/10] misc: rp1: RaspberryPi RP1 misc driver
From: Andrew Lunn
Date: Tue Jan 21 2025 - 09:55:04 EST
> > Well where are those externs defined at? Shouldn't there be a .h file
> > for them somewhere in the tree if they really are global?
>
> Those symbols are deined in drivers/misc/rp1/rp1-pci.dtbo.S (added by
> this patchset) and created by cmd_wrap_S_dtb in scripts/Makefile.lib.
Could cmd_wrap_S_dtb be extended to actually produce a header?
But that might confuse static analysers?
Andrew