spa_final_dirty_txg
VERIFY3U(tx->tx_txg, <=, spa_final_dirty_txg(os->os_spa));
if (spa_writeable(spa) && txg < spa_final_dirty_txg(spa)) {
VERIFY3U(tx->tx_txg, <=, spa_final_dirty_txg(spa));
txg <= spa_final_dirty_txg(spa)))
VERIFY3U(txg, <=, spa_final_dirty_txg(spa));
VERIFY3U(dmu_tx_get_txg(tx), <=, spa_final_dirty_txg(spa));
extern uint64_t spa_final_dirty_txg(spa_t *spa);