Symbol: filedesc_dtor
sys/kern/kern_descrip.c
118
static void filedesc_dtor(void *, void *);
sys/kern/kern_descrip.c
163
0, 0, "filedesc", NULL, IPL_NONE, filedesc_ctor, filedesc_dtor,