filedesc_init     240 kern/init_main.c 	filedesc_init();
filedesc_init     113 sys/filedesc.h void	filedesc_init(void);