hifn_freesession   98 dev/pci/hifn7751.c int	hifn_freesession(u_int64_t);
hifn_freesession  307 dev/pci/hifn7751.c 	    hifn_freesession, hifn_process);