136     device_t		ec_dev;  member
456     sc->ec_dev = dev;  in acpi_ec_attach()
470     sc->ec_data_res = bus_alloc_resource_any(sc->ec_dev, SYS_RES_IOPORT,  in acpi_ec_attach()
480     sc->ec_csr_res = bus_alloc_resource_any(sc->ec_dev, SYS_RES_IOPORT,  in acpi_ec_attach()
530 	bus_release_resource(sc->ec_dev, SYS_RES_IOPORT, sc->ec_csr_rid,  in acpi_ec_attach()
533 	bus_release_resource(sc->ec_dev, SYS_RES_IOPORT, sc->ec_data_rid,  in acpi_ec_attach()
628 	device_printf(sc->ec_dev, "GpeQuery lock error: %s\n",  in EcGpeQueryHandlerSub()
650 	device_printf(sc->ec_dev, "GPE query failed: %s\n",  in EcGpeQueryHandlerSub()
673 	device_printf(sc->ec_dev, "evaluation of query method %s failed: %s\n",  in EcGpeQueryHandlerSub()
902 	device_printf(sc->ec_dev,  in EcWaitEvent()
937 	device_printf(sc->ec_dev, "EcCommand: invalid command %#x\n", cmd);  in EcCommand()
962 	device_printf(sc->ec_dev, "EcCommand: no response to %#x\n", cmd);  in EcCommand()
992     device_printf(sc->ec_dev, "EcRead: failed waiting to get data\n");  in EcRead()
1013 	device_printf(sc->ec_dev, "EcWrite: failed waiting for sent address\n");  in EcWrite()
1021 	device_printf(sc->ec_dev, "EcWrite: failed waiting for sent data\n");  in EcWrite()