tag	line	file	source code
Nports	181	drivers/net/dgrs_es4h.h	extern int  Nports;    /* Number of ethernet controllers */
Nports	114	drivers/net/dgrs_ether.h	extern int  Nports;    /* Number of genuine ethernet controllers */