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

[Andrew Lunn]

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