i2c_txn_held
extern bool i2c_txn_held(i2c_txn_t *);
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(txn));
VERIFY(i2c_txn_held(user->iu_txn));
VERIFY(i2c_txn_held(user->iu_txn));