135     device_t		ec_dev;  member
467     sc->ec_dev = dev;  in acpi_ec_attach()
481     sc->ec_data_res = bus_alloc_resource_any(sc->ec_dev, SYS_RES_IOPORT,  in acpi_ec_attach()
491     sc->ec_csr_res = bus_alloc_resource_any(sc->ec_dev, SYS_RES_IOPORT,  in acpi_ec_attach()
541 	bus_release_resource(sc->ec_dev, SYS_RES_IOPORT, sc->ec_csr_rid,  in acpi_ec_attach()
544 	bus_release_resource(sc->ec_dev, SYS_RES_IOPORT, sc->ec_data_rid,  in acpi_ec_attach()
639 	device_printf(sc->ec_dev, "GpeQuery lock error: %s\n",  in EcGpeQueryHandlerSub()
661 	device_printf(sc->ec_dev, "GPE query failed: %s\n",  in EcGpeQueryHandlerSub()
684 	device_printf(sc->ec_dev, "evaluation of query method %s failed: %s\n",  in EcGpeQueryHandlerSub()
913 	device_printf(sc->ec_dev,  in EcWaitEvent()
948 	device_printf(sc->ec_dev, "EcCommand: invalid command %#x\n", cmd);  in EcCommand()
973 	device_printf(sc->ec_dev, "EcCommand: no response to %#x\n", cmd);  in EcCommand()
1003     device_printf(sc->ec_dev, "EcRead: failed waiting to get data\n");  in EcRead()
1024 	device_printf(sc->ec_dev, "EcWrite: failed waiting for sent address\n");  in EcWrite()
1032 	device_printf(sc->ec_dev, "EcWrite: failed waiting for sent data\n");  in EcWrite()