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