boot_ec_is_ecdt   181 drivers/acpi/ec.c static bool boot_ec_is_ecdt = false;
boot_ec_is_ecdt  1390 drivers/acpi/ec.c 	if (boot_ec && boot_ec_is_ecdt && EC_FLAGS_IGNORE_DSDT_GPE) {
boot_ec_is_ecdt  1560 drivers/acpi/ec.c 		boot_ec_is_ecdt = true;
boot_ec_is_ecdt  1576 drivers/acpi/ec.c 			boot_ec_is_ecdt = false;
boot_ec_is_ecdt  1597 drivers/acpi/ec.c 				 boot_ec_is_ecdt ? "ECDT" : "DSDT");
boot_ec_is_ecdt  1734 drivers/acpi/ec.c 	if (!boot_ec_is_ecdt)
boot_ec_is_ecdt  1897 drivers/acpi/ec.c 	boot_ec_is_ecdt = true;