Lines Matching refs:ec_dev
137 device_t ec_dev; member
472 sc->ec_dev = dev; in acpi_ec_attach()
486 sc->ec_data_res = bus_alloc_resource_any(sc->ec_dev, SYS_RES_IOPORT, in acpi_ec_attach()
496 sc->ec_csr_res = bus_alloc_resource_any(sc->ec_dev, SYS_RES_IOPORT, in acpi_ec_attach()
546 bus_release_resource(sc->ec_dev, SYS_RES_IOPORT, sc->ec_csr_rid, in acpi_ec_attach()
549 bus_release_resource(sc->ec_dev, SYS_RES_IOPORT, sc->ec_data_rid, in acpi_ec_attach()
644 device_printf(sc->ec_dev, "GpeQuery lock error: %s\n", in EcGpeQueryHandlerSub()
666 device_printf(sc->ec_dev, "GPE query failed: %s\n", in EcGpeQueryHandlerSub()
689 device_printf(sc->ec_dev, "evaluation of query method %s failed: %s\n", in EcGpeQueryHandlerSub()
918 device_printf(sc->ec_dev, in EcWaitEvent()
953 device_printf(sc->ec_dev, "EcCommand: invalid command %#x\n", cmd); in EcCommand()
978 device_printf(sc->ec_dev, "EcCommand: no response to %#x\n", cmd); in EcCommand()
1008 device_printf(sc->ec_dev, "EcRead: failed waiting to get data\n"); in EcRead()
1029 device_printf(sc->ec_dev, "EcWrite: failed waiting for sent address\n"); in EcWrite()
1037 device_printf(sc->ec_dev, "EcWrite: failed waiting for sent data\n"); in EcWrite()