OT_EC_DEVICE_STATE_ADDRESS
ec_read(OT_EC_DEVICE_STATE_ADDRESS, &result);
ec_write(OT_EC_DEVICE_STATE_ADDRESS, value);
ec_read(OT_EC_DEVICE_STATE_ADDRESS, &value);