EXP_TID_SET_EMPTY 166 drivers/infiniband/hw/hfi1/user_exp_rcv.c if (!EXP_TID_SET_EMPTY(uctxt->tid_full_list)) EXP_TID_SET_EMPTY 168 drivers/infiniband/hw/hfi1/user_exp_rcv.c if (!EXP_TID_SET_EMPTY(uctxt->tid_used_list))