ec_device_count   110 drivers/acpi/ec_sys.c static void acpi_ec_add_debugfs(struct acpi_ec *ec, unsigned int ec_device_count)
ec_device_count   116 drivers/acpi/ec_sys.c 	if (ec_device_count == 0)
ec_device_count   119 drivers/acpi/ec_sys.c 	sprintf(name, "ec%u", ec_device_count);