Re: odd missing symbols like rumpns_lockdebug_* in an i386 build

On Thu, May 28, 2020 at 01:48:49PM -0700, Greg A. Woods wrote:
> So, I thought I'd try to find out where these symbols might have come
> from, but I came up completely empty with no matches:
> 
> 	$ cd /usr/src
> 	$ find . -type f -print0 | xargs -0 fgrep rumpns_lockebug_
> 	$
> 
> So, now what?  Where else should I look to debug this mess?

So for the record: rumpns is the RUMP name space prefix. It is added
(via objcpy (I think)) to rump kernel object files when they get build
from kernel sources where the C code creates them without the prefix.

Martin