eib_monitor_tx_wqes
kt = thread_create(NULL, 0, eib_monitor_tx_wqes, ss, 0,
extern void eib_monitor_tx_wqes(eib_t *);