Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/core/nldev.c res_get_common_dumpit() -> res_get_common_dumpit param 3()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->data 4096-ptr_max
PARAM_VALUE 0 msg->data_len 0
PARAM_VALUE 0 msg->destructor 172217845709488128
PARAM_VALUE 0 msg->sk 4096-ptr_max
PARAM_VALUE 2 res 4096-ptr_max
PARAM_VALUE 2 res->kref.refcount.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 msg (-1)-s32max
BUF_SIZE 0 msg (-1)-s32max
CAPPED_DATA 0 msg->sk->__sk_common.skc_net.net 1
CAPPED_DATA 3 port 1
DATA_SOURCE 0 msg $0
DATA_SOURCE 1 has_cap_net_admin r netlink_capable
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 msg->sk->sk_backlog.len
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

drivers/infiniband/core/nldev.c res_get_common_doit() -> res_get_common_doit param 4()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->data_len 0
PARAM_VALUE 2 res 4096-ptr_max
PARAM_VALUE 2 res->kref.refcount.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 msg 0-s32max
BUF_SIZE 0 msg 0-s32max
CAPPED_DATA 3 port 1
DATA_SOURCE 0 msg r nlmsg_new
DATA_SOURCE 1 has_cap_net_admin r netlink_capable
DATA_SOURCE 2 res r rdma_restrack_get_byid
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read