txg_verify
txg_verify(dp->dp_spa, txg);
extern void txg_verify(spa_t *spa, uint64_t txg);
txg_verify(tl->tl_spa, txg);
txg_verify(tl->tl_spa, txg);
txg_verify(tl->tl_spa, txg);
txg_verify(tl->tl_spa, txg);
txg_verify(tl->tl_spa, txg);
txg_verify(tl->tl_spa, txg);
txg_verify(tl->tl_spa, txg);
txg_verify(tl->tl_spa, txg);