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