tl_intvec_rxeof
r = tl_intvec_rxeof(xsc, type);
r = tl_intvec_rxeof((void *)sc, type);
int tl_intvec_rxeof(void *, u_int32_t);