acpi_ec_destroy_workqueues 2074 drivers/acpi/ec.c acpi_ec_destroy_workqueues(); acpi_ec_destroy_workqueues 2141 drivers/acpi/ec.c acpi_ec_destroy_workqueues();