ec_honor_ecdt_gpe 1825 drivers/acpi/ec.c 	ec_honor_ecdt_gpe, "ASUS FX502VD", {
ec_honor_ecdt_gpe 1829 drivers/acpi/ec.c 	ec_honor_ecdt_gpe, "ASUS FX502VE", {
ec_honor_ecdt_gpe 1833 drivers/acpi/ec.c 	ec_honor_ecdt_gpe, "ASUS GL702VMK", {
ec_honor_ecdt_gpe 1837 drivers/acpi/ec.c 	ec_honor_ecdt_gpe, "ASUS X550VXK", {
ec_honor_ecdt_gpe 1841 drivers/acpi/ec.c 	ec_honor_ecdt_gpe, "ASUS X580VD", {