handle_receive_interrupt_nodma_rtail
int handle_receive_interrupt_nodma_rtail(struct hfi1_ctxtdata *rcd, int thread);
handle_receive_interrupt_nodma_rtail;