Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vdpa/vdpa_user/vduse_dev.c vduse_ioctl() -> vduse_create_dev()

Type Parameter Key Value
PARAM_VALUE 0 config 8071351699575865344
PARAM_VALUE 0 config->config_size 0-s32max
PARAM_VALUE 1 config_buf 16,4096-ptr_max
PARAM_VALUE 2 api_version 0-18446744073709551614
BUF_SIZE 1 config_buf 0-u32max
BUF_SIZE 1 config_buf 0-u32max
DATA_SOURCE 1 config_buf r vmemdup_user
FUZZY_MAX 2 api_version 0
TERMINATED 0 config->name 1
USER_DATA 0 config->config_size 0-s32max[c]
USER_DATA 0 config->device_id 0-u32max
USER_DATA 0 config->features 0-u64max
USER_DATA 0 config->nas 0-u32max
USER_DATA 0 config->ngroups 0-u32max
USER_DATA 0 config->vendor_id 0-u32max
USER_DATA 0 config->vq_align 0-u32max
USER_DATA 0 config->vq_num 0-u32max
USER_DATA 1 *config_buf s64min-s64max
USER_PTR 0 config->config
USER_PTR 0 config->name
USER_PTR 0 config->reserved
USER_PTR 1 config_buf
LOCK2 global &vduse_lock