Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_cleanup_submit() -> virtio_gpu_free_syncobjs()

Type Parameter Key Value
PARAM_VALUE 0 syncobjs 0,16,4096-ptr_max
PARAM_VALUE 1 nr_syncobjs 0-s32max
BUF_SIZE 0 syncobjs 8-s32max
CAPPED_DATA 1 nr_syncobjs 1
NOCHECK_CALL
USER_DATA 1 nr_syncobjs 1-s32max[c]
UNITS 1 nr_syncobjs unit_array_size

drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_parse_deps() -> virtio_gpu_free_syncobjs()

Type Parameter Key Value
PARAM_VALUE 0 syncobjs 1-18446744073709551614
PARAM_VALUE 1 nr_syncobjs 0-s32max
BUF_SIZE 0 syncobjs 8-34359738360
BUF_SIZE 0 syncobjs 8-34359738360
CAPPED_DATA 1 nr_syncobjs 1
DATA_SOURCE 0 syncobjs r __kvmalloc_node_noprof
NOCHECK_CALL
UNITS 1 nr_syncobjs unit_array_size