ises_debug_loop   104 dev/pci/ises.c void	ises_debug_loop(void *);
ises_debug_loop  1772 dev/pci/ises.c 	timeout_set (&ises_db_timeout, ises_debug_loop, sc);
ises_debug_loop  1780 dev/pci/ises.c 	timeout_set (&ises_db_timeout, ises_debug_loop, ises_sc);