/* Return the total number of open files in the system  */
static int get_nr_files(void)
/* Return the total number of open files in the system  */
static int get_nr_files(void)
{
	return percpu_counter_read_positive(&nr_files);
}