ises_freesession   76 dev/pci/ises.c int	ises_freesession(u_int64_t);
ises_freesession  499 dev/pci/ises.c 		    ises_newsession, ises_freesession, ises_process);