rxe_do_task       126 drivers/infiniband/sw/rxe/rxe_task.c 	tasklet_init(&task->tasklet, rxe_do_task, (unsigned long)task);
rxe_do_task       162 drivers/infiniband/sw/rxe/rxe_task.c 		rxe_do_task((unsigned long)task);
rxe_do_task        83 drivers/infiniband/sw/rxe/rxe_task.h void rxe_do_task(unsigned long data);