rdma_setup_read_data3
if (!rdma_setup_read_data3(args, &(resp->resok))) {
static int rdma_setup_read_data3(READ3args *, READ3resok *);