Symbol: ibd_fini_txlist