ises_db           110 dev/pci/ises.c int ises_db;
ises_db          1771 dev/pci/ises.c 	ises_db = 0;
ises_db          1803 dev/pci/ises.c 	if (ises_db)
ises_db          1804 dev/pci/ises.c 		printf ("ises0: ises_db = %d  sc = %p\n", ises_db, sc);
ises_db          1815 dev/pci/ises.c 	switch (ises_db) {
ises_db          1901 dev/pci/ises.c 	ises_db = 0;