Trust the process. Grep the src. Also don't trust /dev/drivers because it
only includes compiled in things, not things that are available in the
tree.

D


On Fri, Jan 22, 2021 at 12:11 AM Dworkin Muller <dlm-9fans@weaselfish.com>
wrote:

> On Thu, 21 Jan 2021 23:51:24 -0700, Don Bailey <don.bailey@gmail.com>
> wrote:
> don.bailey> Grep the source code not the man pages :>
> 
> Well, yes, but I was hoping for something a little less tedious than
> wading through 137,124 hits for `#'.  Removing `#include' admittedly
> brings that down to 109,636, but that's still a bit on the heavy side.
> 
> Dworkin

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/Tc21478a4dc8e2df1-M8055a25e5c528a813235fe1f
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription