sectnum           484 dev/pci/if_txp.c txp_download_fw_section(sc, sect, sectnum, buf, buflen)
sectnum           487 dev/pci/if_txp.c 	int sectnum;
sectnum           503 dev/pci/if_txp.c 		printf("fw invalid section address, section %d\n", sectnum);
sectnum           510 dev/pci/if_txp.c 		printf("fw truncated section %d\n", sectnum);
sectnum           516 dev/pci/if_txp.c 		printf("fw dma malloc failed, section %d\n", sectnum);
sectnum           534 dev/pci/if_txp.c 		    sectnum, sect->cksum, csum);
sectnum           551 dev/pci/if_txp.c 		    sc->sc_dev.dv_xname, sectnum);