Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vdpa/vdpa.c vdpa_nl_cmd_mgmtdev_get_doit() -> vdpa_mgmtdev_fill()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->device 4096-ptr_max
PARAM_VALUE 0 mdev->device->bus 0,4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 4 flags 0
BUF_SIZE 1 msg 0-s32max
BUF_SIZE 1 msg 0-s32max
DATA_SOURCE 0 mdev r vdpa_mgmtdev_get_from_attr
DATA_SOURCE 1 msg r nlmsg_new
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 seq 0-u32max[u]
LOCK2 global &vdpa_dev_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

drivers/vdpa/vdpa.c vdpa_nl_cmd_mgmtdev_get_dumpit() -> vdpa_mgmtdev_fill()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->data 4096-ptr_max
PARAM_VALUE 1 msg->data_len 0-1
PARAM_VALUE 1 msg->destructor 172217845709488128
PARAM_VALUE 1 msg->sk 4096-ptr_max
PARAM_VALUE 4 flags 2
BUF_SIZE 1 msg (-1)-s32max
BUF_SIZE 1 msg (-1)-s32max
CAPPED_DATA 0 &mdev->list 1
CAPPED_DATA 1 msg->data 1
DATA_SOURCE 1 msg $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 msg->sk->sk_backlog.len
LOCK2 global &vdpa_dev_lock
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex