offtbl            611 dev/pci/hifn7751.c 	char *offtbl = NULL;
offtbl            616 dev/pci/hifn7751.c 			offtbl = pci2id[i].card_id;
offtbl            621 dev/pci/hifn7751.c 	if (offtbl == NULL) {
offtbl            666 dev/pci/hifn7751.c 		addr = hifn_next_signature(addr, offtbl[i] + 0x101);
offtbl            688 dev/pci/hifn7751.c 		offtbl = "LZS";
offtbl            691 dev/pci/hifn7751.c 		offtbl = "LZS DES";
offtbl            694 dev/pci/hifn7751.c 		offtbl = "LZS 3DES ARC4 MD5 SHA1";
offtbl            697 dev/pci/hifn7751.c 		offtbl = "disabled";
offtbl            700 dev/pci/hifn7751.c 	printf(": %s", offtbl);