i2c_device_fini
extern void i2c_device_fini(i2c_txn_t *, i2c_port_t *, i2c_dev_t *);
i2c_device_fini(user->iu_txn, port, device);
i2c_device_fini(user->iu_txn, port, dev);