int fdset_size, fdarray_size;  fdset_size = fdt->max_fdset / 8; fdarray_size = fdt->max_fds * sizeof(struct file *); free_fdset(fdt->open_fds, fdset_size); free_fdset(fdt->close_on_exec, fdset_size); free_fd_array(fdt->fd, fdarray_size); 
free_fdset(fdt->open_fds, fdt->max_fdset); free_fdset(fdt->close_on_exec, fdt->max_fdset); free_fd_array(fdt->fd, fdt->max_fds); 
static void __free_fdtable(struct fdtable *fdt){	int fdset_size, fdarray_size;	fdset_size = fdt->max_fdset / 8;	fdarray_size = fdt->max_fds * sizeof(struct file *);	free_fdset(fdt->open_fds, fdset_size);	free_fdset(fdt->close_on_exec, fdset_size);	free_fd_array(fdt->fd, fdarray_size);	kfree(fdt);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0b175a7e68c2f51555820efb0a01681e3419c1bc/file.c/clean/fs/file.c