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;