noct_freesession   96 dev/pci/noct.c int noct_freesession(u_int64_t);
noct_freesession  841 dev/pci/noct.c 	    noct_newsession, noct_freesession, noct_process);