Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_resource_create_blob_ioctl() -> verify_blob()

Type Parameter Key Value
PARAM_VALUE 2 params 6870114730447532032
PARAM_VALUE 2 params->blob 0
PARAM_VALUE 2 params->blob_flags 0
PARAM_VALUE 2 params->blob_hints 0
PARAM_VALUE 2 params->blob_id 0
PARAM_VALUE 2 params->blob_mem 0
PARAM_VALUE 2 params->ctx_id 0
PARAM_VALUE 2 params->size 0
PARAM_VALUE 3 rc_blob 4096-ptr_max
PARAM_VALUE 4 guest_blob 4917583409081655296
PARAM_VALUE 4 *guest_blob 0
PARAM_VALUE 5 host3d_blob 3115692872052207616
PARAM_VALUE 5 *host3d_blob 0
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 1 vfpriv 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
BUF_SIZE 1 vfpriv 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
BUF_SIZE 3 rc_blob 128-16383
BUF_SIZE 3 rc_blob 128-16383
DATA_SOURCE 3 rc_blob $1
USER_DATA 3 rc_blob->blob_flags 0-u32max[u]
USER_DATA 3 rc_blob->blob_hints 0-u32max[u]
USER_DATA 3 rc_blob->blob_id 0-u64max[u]
USER_DATA 3 rc_blob->blob_mem 0-u32max[u]
USER_DATA 3 rc_blob->bo_handle 0-u32max[u]
USER_DATA 3 rc_blob->cmd 0-u64max[u]
USER_DATA 3 rc_blob->cmd_size 0-u32max[u]
USER_DATA 3 rc_blob->pad 0-u32max[u]
USER_DATA 3 rc_blob->pad2 0-u32max[u]
USER_DATA 3 rc_blob->res_handle 0-u32max[u]
USER_DATA 3 rc_blob->size 0-u64max[u]
UNITS 0 vgdev unit_byte
USER_PTR 3 rc_blob