Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/nldev.c nldev_frmr_pools_get_dumpit() -> fill_frmr_pool_entry()

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 1 pool 4096-ptr_max
BUF_SIZE 0 msg (-1)-s32max
BUF_SIZE 0 msg (-1)-s32max
CAPPED_DATA 0 msg->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 msg $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 msg->sk->sk_backlog.len
UNITS 1 pool unit_byte
LOCK2 &pools->rb_lock
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct ib_frmr_pools)->rb_lock
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex