Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rds/rdma.c rds_cmsg_rdma_map() -> __rds_rdma_map()

Type Parameter Key Value
PARAM_VALUE 0 rs 4096-ptr_max
PARAM_VALUE 0 rs->rs_conn 1-ptr_max
PARAM_VALUE 0 rs->rs_transport->cm_connect_complete 0
PARAM_VALUE 0 rs->rs_transport->cm_handle_connect 0
PARAM_VALUE 0 rs->rs_transport->cm_initiate_connect 0
PARAM_VALUE 0 rs->rs_transport->conn_alloc 203590233183207424
PARAM_VALUE 0 rs->rs_transport->conn_free 7957213230467440640
PARAM_VALUE 0 rs->rs_transport->conn_path_connect 2689543725193568256
PARAM_VALUE 0 rs->rs_transport->conn_path_shutdown 3650806181160873984
PARAM_VALUE 0 rs->rs_transport->conn_slots_available 0
PARAM_VALUE 0 rs->rs_transport->exit 0
PARAM_VALUE 0 rs->rs_transport->flush_mrs 0
PARAM_VALUE 0 rs->rs_transport->free_mr 0
PARAM_VALUE 0 rs->rs_transport->get_mr 0
PARAM_VALUE 0 rs->rs_transport->get_tos_map 0
PARAM_VALUE 0 rs->rs_transport->inc_copy_to_user 4308324851684708352
PARAM_VALUE 0 rs->rs_transport->inc_free 6758461005887729664
PARAM_VALUE 0 rs->rs_transport->laddr_check 0
PARAM_VALUE 0 rs->rs_transport->recv_path 2475272324296978432
PARAM_VALUE 0 rs->rs_transport->stats_info_copy 0
PARAM_VALUE 0 rs->rs_transport->sync_mr 0
PARAM_VALUE 0 rs->rs_transport->t_item.prev 0
PARAM_VALUE 0 rs->rs_transport->t_mp_capable 0
PARAM_VALUE 0 rs->rs_transport->t_owner 0
PARAM_VALUE 0 rs->rs_transport->t_prefer_loopback 0
PARAM_VALUE 0 rs->rs_transport->t_unloading 7243661440355979264
PARAM_VALUE 0 rs->rs_transport->xmit 2462813384893562880
PARAM_VALUE 0 rs->rs_transport->xmit_atomic 0
PARAM_VALUE 0 rs->rs_transport->xmit_path_complete 0
PARAM_VALUE 0 rs->rs_transport->xmit_path_prepare 0
PARAM_VALUE 0 rs->rs_transport->xmit_rdma 0
PARAM_VALUE 2 cookie_ret 4096-ptr_max
PARAM_VALUE 2 *cookie_ret 0
PARAM_VALUE 4 cp 4096-ptr_max
DATA_SOURCE 0 rs $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 args->cookie_addr 0-u64max[u]
USER_DATA 1 args->flags 0-u64max[u]
UNITS 1 args unit_byte
USER_PTR 1 args
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/rds/rdma.c rds_get_mr() -> __rds_rdma_map()

Type Parameter Key Value
PARAM_VALUE 0 rs 4096-ptr_max
PARAM_VALUE 1 args 8814959045213171712
PARAM_VALUE 2 cookie_ret 0
PARAM_VALUE 3 mr_ret 0
PARAM_VALUE 4 cp 0
DATA_SOURCE 0 rs $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 args->cookie_addr 0-u64max
USER_DATA 1 args->flags 0-u64max
USER_DATA 1 args->vec.addr 0-u64max
USER_DATA 1 args->vec.bytes 0-u64max

net/rds/rdma.c rds_get_mr_for_dest() -> __rds_rdma_map()

Type Parameter Key Value
PARAM_VALUE 0 rs 4096-ptr_max
PARAM_VALUE 1 args 8208452719008612352
PARAM_VALUE 2 cookie_ret 0
PARAM_VALUE 3 mr_ret 0
PARAM_VALUE 4 cp 0
DATA_SOURCE 0 rs $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 args->cookie_addr 0-u64max
USER_DATA 1 args->flags 0-u64max
USER_DATA 1 args->vec.addr 0-u64max
USER_DATA 1 args->vec.bytes 0-u64max