infp              187 dev/microcode/ncr53cxxx/ncr53cxxx.c FILE	*infp;
infp              225 dev/microcode/ncr53cxxx/ncr53cxxx.c 	infp = fopen (sourcefile, "r");
infp              226 dev/microcode/ncr53cxxx/ncr53cxxx.c 	if (infp == NULL) {
infp              296 dev/microcode/ncr53cxxx/ncr53cxxx.c 	while (fgets (inbuf, sizeof (inbuf), infp)) {
infp              300 dev/microcode/siop/ncr53cxxx.c FILE	*infp;
infp              343 dev/microcode/siop/ncr53cxxx.c 	infp = fopen (sourcefile, "r");
infp              344 dev/microcode/siop/ncr53cxxx.c 	if (infp == NULL) {
infp              427 dev/microcode/siop/ncr53cxxx.c 	while (fgets (inbuf, sizeof (inbuf), infp)) {