EC_FLAGS_IGNORE_DSDT_GPE  187 drivers/acpi/ec.c static int EC_FLAGS_IGNORE_DSDT_GPE; /* Needs ECDT GPE as correction setting */
EC_FLAGS_IGNORE_DSDT_GPE 1390 drivers/acpi/ec.c 	if (boot_ec && boot_ec_is_ecdt && EC_FLAGS_IGNORE_DSDT_GPE) {
EC_FLAGS_IGNORE_DSDT_GPE 1815 drivers/acpi/ec.c 	EC_FLAGS_IGNORE_DSDT_GPE = 1;