struct fdtable *fdt; 
static int count_open_files(struct files_struct *files, int size){	int i;	struct fdtable *fdt;	/* Find the last open fd */	fdt = files_fdtable(files);	for (i = size/(8*sizeof(long)); i > 0; ) {		if (fdt->open_fds->fds_bits[--i])			break;	}	i = (i+1) * 8 * sizeof(long);	return i;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ab2af1f5005069321c5d130f09cce577b03f43ef/fork.c/buggy/kernel/fork.c