splchanged       1022 dev/pci/pccbb.c 	int s, splchanged;
splchanged       1032 dev/pci/pccbb.c 		splchanged = 1;
splchanged       1055 dev/pci/pccbb.c 			splchanged = 0;
splchanged       1063 dev/pci/pccbb.c 		if (splchanged != 0) {