Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vdpa/vdpa_user/vduse_dev.c vduse_dev_compat_ioctl() -> vduse_dev_iotlb_entry()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->broken 0
PARAM_VALUE 1 entry 3085773517847044096
PARAM_VALUE 2 f 3221589839848574976
PARAM_VALUE 2 *f 0
PARAM_VALUE 3 capability 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
USER_DATA 1 entry->asid 0-u32max
USER_DATA 1 entry->last 0-u64max
USER_DATA 1 entry->offset 0-u64max
USER_DATA 1 entry->perm 0-255
USER_DATA 1 entry->start 0-u64max
USER_PTR 1 entry->padding
USER_PTR 1 entry->reserved

drivers/vdpa/vdpa_user/vduse_dev.c vduse_dev_ioctl() -> vduse_dev_iotlb_entry()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->broken 0
PARAM_VALUE 1 entry 8931528825644478464
PARAM_VALUE 2 f 6170408839524421632
PARAM_VALUE 2 *f 0
PARAM_VALUE 3 capability 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
USER_DATA 1 entry->asid 0-u32max
USER_DATA 1 entry->last 0-u64max
USER_DATA 1 entry->offset 0-u64max
USER_DATA 1 entry->perm 0-255
USER_DATA 1 entry->start 0-u64max
USER_PTR 1 entry->padding
USER_PTR 1 entry->reserved

drivers/vdpa/vdpa_user/vduse_dev.c vduse_dev_ioctl() -> vduse_dev_iotlb_entry()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->broken 0
PARAM_VALUE 0 dev->nas 1-u32max
PARAM_VALUE 1 entry 8931528825644478464
PARAM_VALUE 1 entry->asid 0-4294967294
PARAM_VALUE 2 f 0
PARAM_VALUE 3 capability 2328554739284766736
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
USER_DATA 1 entry->asid 0-s32max[c]
USER_DATA 1 entry->last 0-u64max
USER_DATA 1 entry->start 0-u64max
USER_DATA 3 *capability 0-u64max
USER_PTR 3 capability