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