rxintrs          4310 dev/pci/if_de.c     u_int32_t rxintrs = sc->tulip_dbg.dbg_rxintrs - sc->tulip_dbg.dbg_last_rxintrs;
rxintrs          4311 dev/pci/if_de.c     if (rxintrs > sc->tulip_dbg.dbg_high_rxintrs_hz)
rxintrs          4312 dev/pci/if_de.c 	sc->tulip_dbg.dbg_high_rxintrs_hz = rxintrs;