files_defer_init(); 
void __init files_init(unsigned long mempages){ 	int n; 	/* One file with associated inode and dcache is very roughly 1K. 	 * Per default don't use more than 10% of our memory for files. 	 */ 	n = (mempages * (PAGE_SIZE / 1024)) / 10;	files_stat.max_files = n; 	if (files_stat.max_files < NR_FILE)		files_stat.max_files = NR_FILE;} 
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ab2af1f5005069321c5d130f09cce577b03f43ef/file_table.c/buggy/fs/file_table.c