Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/9p/trans_rdma.c rdma_close() -> rdma_destroy_trans()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
BUF_SIZE 0 rdma 448,552
BUF_SIZE 0 rdma 448,552
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/9p/trans_rdma.c rdma_create_trans() -> rdma_destroy_trans()

Type Parameter Key Value
PARAM_VALUE 0 rdma 4096-ptr_max
PARAM_VALUE 0 rdma->cm_done.done 0-4294967293,u32max
PARAM_VALUE 0 rdma->cm_done.wait.lock.owner (-1)
PARAM_VALUE 0 rdma->cm_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rdma->cm_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rdma->cm_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 rdma->cm_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rdma->cm_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdma->cm_id 4096-ptr_max,(-12)
PARAM_VALUE 0 rdma->cm_id->event_handler 4096-ptr_max
PARAM_VALUE 0 rdma->cm_id->ps 262,319
PARAM_VALUE 0 rdma->cm_id->qp_type 2
PARAM_VALUE 0 rdma->cm_id->route.addr.dev_addr.net->ipv4.fib_default->tb_data->stats->gets 0-4294967295
PARAM_VALUE 0 rdma->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->kv->bits 1-255
PARAM_VALUE 0 rdma->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->kv->pos 0-254
PARAM_VALUE 0 rdma->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->kv->slen 1-255
PARAM_VALUE 0 rdma->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->stats->backtrack 0-4294967295
PARAM_VALUE 0 rdma->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->stats->gets 0-4294967295
PARAM_VALUE 0 rdma->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->stats->null_node_hit 0-4294967295
PARAM_VALUE 0 rdma->cm_id->route.addr.dev_addr.net->loopback_dev->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 rdma->excess_rc.counter 0
BUF_SIZE 0 rdma 448
BUF_SIZE 0 rdma->cm_id (-1),560
BUF_SIZE 0 rdma->cq s32min-s32max
BUF_SIZE 0 rdma->pd s32min-s32max
BUF_SIZE 0 rdma->pd->res.kern_name (-1),11
DATA_SOURCE 0 rdma r alloc_rdma
STR_LEN 0 rdma->pd->res.kern_name (-1),10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 rdma->addr.sin_addr.s_addr 0-u32max[c][u]
NO_OVERFLOW_SIMPLE 0 rdma->pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 rdma->pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 rdma->pd->device->phys_port_cnt
HALF_LOCKED2 &fc->uapi_mutex