acpiec_bus_write
ACPI_STATUS acpiec_bus_write(device_t, u_int, ACPI_INTEGER, int);
(void)acpiec_bus_write(sc->sc_ecdev, addr, *val, width);