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
