Re: [PATCH v6 08/10] misc: rp1: RaspberryPi RP1 misc driver

Andrew Lunn
2025-01-21T14:54:01Z

> > 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