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);