Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 config 8071351699575865344
PARAM_VALUE 1 api_version 0-18446744073709551614
FUZZY_MAX 1 api_version 0
USER_DATA 0 config->config_size 0-u32max
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_PTR 0 config->config
USER_PTR 0 config->name
USER_PTR 0 config->reserved
LOCK2 global &vduse_lock