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-M270bdacb0cf1f31108afe81d
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription