Symbol: ibd_fini_rxlist