Symbol: filedesc_init
sys/kern/init_main.c
238
filedesc_init();
sys/sys/filedesc.h
135
void filedesc_init(void);