Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/amd/amdgpu/amdgpu_userq_fence.c amdgpu_userq_wait_return_fence_info() -> amdgpu_userq_wait_add_fence()

Type Parameter Key Value
PARAM_VALUE 0 wait_info 4096-ptr_max
PARAM_VALUE 0 wait_info->num_bo_read_handles 0-65536
PARAM_VALUE 0 wait_info->num_bo_write_handles 0-65536
PARAM_VALUE 0 wait_info->num_fences 1-u16max
PARAM_VALUE 1 fences 16,4096-ptr_max
PARAM_VALUE 2 num_fences 35516233581236224
PARAM_VALUE 2 *num_fences 0-1
PARAM_VALUE 3 fence 1-u64max
BUF_SIZE 0 wait_info 128-16383
BUF_SIZE 0 wait_info 128-16383
BUF_SIZE 1 fences 8
BUF_SIZE 3 fence (-1)-0,32-s32max
BUF_SIZE 3 fence (-1)-0,32-s32max
DATA_SOURCE 0 wait_info $2
DATA_SOURCE 1 fences r _kmalloc_array_noprof
USER_DATA 0 wait_info->bo_read_handles 0-u64max[u]
USER_DATA 0 wait_info->bo_write_handles 0-u64max[u]
USER_DATA 0 wait_info->num_bo_read_handles 0-65536[u]
USER_DATA 0 wait_info->num_bo_write_handles 0-65536[u]
USER_DATA 0 wait_info->num_fences 1-u16max[u]
USER_DATA 0 wait_info->num_syncobj_handles 0-u16max[u]
USER_DATA 0 wait_info->num_syncobj_timeline_handles 0-u16max[u]
USER_DATA 0 wait_info->out_fences 0-u64max[u]
USER_DATA 0 wait_info->pad 0-u32max[u]
USER_DATA 0 wait_info->pad0 0-u16max[u]
USER_DATA 0 wait_info->syncobj_handles 0-u64max[u]
USER_DATA 0 wait_info->syncobj_timeline_handles 0-u64max[u]
USER_DATA 0 wait_info->syncobj_timeline_points 0-u64max[u]
USER_DATA 0 wait_info->waitq_id 0-u32max[u]
USER_PTR 0 wait_info

drivers/gpu/drm/amd/amdgpu/amdgpu_userq_fence.c amdgpu_userq_wait_return_fence_info() -> amdgpu_userq_wait_add_fence()

Type Parameter Key Value
PARAM_VALUE 0 wait_info 4096-ptr_max
PARAM_VALUE 0 wait_info->num_bo_read_handles 0-65536
PARAM_VALUE 0 wait_info->num_bo_write_handles 0-65536
PARAM_VALUE 0 wait_info->num_fences 1-u16max
PARAM_VALUE 1 fences 16,4096-ptr_max
PARAM_VALUE 2 num_fences 35516233581236224
PARAM_VALUE 2 *num_fences 0-2
PARAM_VALUE 3 fence 1-u64max
PARAM_VALUE 3 fence->node.node.next 0
PARAM_VALUE 3 fence->node.node.prev 0
PARAM_VALUE 3 fence->ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 3 fence->ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 3 fence->rcu.entry.next s64max
PARAM_VALUE 3 fence->rcu.flags 0-4294967295
PARAM_VALUE 3 fence->rcu.is_hard 0-1
PARAM_VALUE 3 fence->rcu.is_lazy 0-1
PARAM_VALUE 3 fence->rcu.is_queued 0-1
PARAM_VALUE 3 fence->rcu.is_soft 0-1
BUF_SIZE 0 wait_info 128-16383
BUF_SIZE 0 wait_info 128-16383
BUF_SIZE 1 fences 8
DATA_SOURCE 0 wait_info $2
DATA_SOURCE 1 fences r _kmalloc_array_noprof
USER_DATA 0 wait_info->bo_read_handles 0-u64max[u]
USER_DATA 0 wait_info->bo_write_handles 0-u64max[u]
USER_DATA 0 wait_info->num_bo_read_handles 0-65536[u]
USER_DATA 0 wait_info->num_bo_write_handles 0-65536[u]
USER_DATA 0 wait_info->num_fences 1-u16max[u]
USER_DATA 0 wait_info->num_syncobj_handles 0-u16max[u]
USER_DATA 0 wait_info->num_syncobj_timeline_handles 0-u16max[u]
USER_DATA 0 wait_info->out_fences 0-u64max[u]
USER_DATA 0 wait_info->pad 0-u32max[u]
USER_DATA 0 wait_info->pad0 0-u16max[u]
USER_DATA 0 wait_info->syncobj_handles 0-u64max[u]
USER_DATA 0 wait_info->syncobj_timeline_handles 0-u64max[u]
USER_DATA 0 wait_info->syncobj_timeline_points 0-u64max[u]
USER_DATA 0 wait_info->waitq_id 0-u32max[u]
USER_PTR 0 wait_info

drivers/gpu/drm/amd/amdgpu/amdgpu_userq_fence.c amdgpu_userq_wait_return_fence_info() -> amdgpu_userq_wait_add_fence()

Type Parameter Key Value
PARAM_VALUE 0 wait_info 4096-ptr_max
PARAM_VALUE 0 wait_info->num_bo_read_handles 0-65536
PARAM_VALUE 0 wait_info->num_bo_write_handles 0-65536
PARAM_VALUE 0 wait_info->num_fences 1-u16max
PARAM_VALUE 1 fences 16,4096-ptr_max
PARAM_VALUE 2 num_fences 35516233581236224
PARAM_VALUE 2 *num_fences 0-3
PARAM_VALUE 3 fence 1-u64max
PARAM_VALUE 3 fence->ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->get_driver_name 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->get_timeline_name 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->release 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->set_deadline 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->signaled 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->wait 0,4096-ptr_max
BUF_SIZE 0 wait_info 128-16383
BUF_SIZE 0 wait_info 128-16383
BUF_SIZE 1 fences 8
CAPPED_DATA 0 wait_info->num_fences 1
DATA_SOURCE 0 wait_info $2
DATA_SOURCE 1 fences r _kmalloc_array_noprof
NOSPEC 0 wait_info->num_fences
USER_DATA 0 wait_info->bo_read_handles 0-u64max[u]
USER_DATA 0 wait_info->bo_write_handles 0-u64max[u]
USER_DATA 0 wait_info->num_bo_read_handles 0-65536[u]
USER_DATA 0 wait_info->num_bo_write_handles 0-65536[u]
USER_DATA 0 wait_info->num_fences 1-u16max[c]
USER_DATA 0 wait_info->num_syncobj_handles 0-u16max[u]
USER_DATA 0 wait_info->num_syncobj_timeline_handles 0-u16max[u]
USER_DATA 0 wait_info->out_fences 0-u64max[u]
USER_DATA 0 wait_info->pad 0-u32max[u]
USER_DATA 0 wait_info->pad0 0-u16max[u]
USER_DATA 0 wait_info->syncobj_handles 0-u64max[u]
USER_DATA 0 wait_info->syncobj_timeline_handles 0-u64max[u]
USER_DATA 0 wait_info->syncobj_timeline_points 0-u64max[u]
USER_DATA 0 wait_info->waitq_id 0-u32max[u]
USER_PTR 0 wait_info

drivers/gpu/drm/amd/amdgpu/amdgpu_userq_fence.c amdgpu_userq_wait_return_fence_info() -> amdgpu_userq_wait_add_fence()

Type Parameter Key Value
PARAM_VALUE 0 wait_info 4096-ptr_max
PARAM_VALUE 0 wait_info->num_bo_read_handles 0-65536
PARAM_VALUE 0 wait_info->num_bo_write_handles 0-65536
PARAM_VALUE 0 wait_info->num_fences 1-u16max
PARAM_VALUE 1 fences 16,4096-ptr_max
PARAM_VALUE 2 num_fences 35516233581236224
PARAM_VALUE 2 *num_fences 0-4
PARAM_VALUE 3 fence 1-u64max
PARAM_VALUE 3 fence->ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->get_driver_name 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->get_timeline_name 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->release 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->set_deadline 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->signaled 0,4096-ptr_max
PARAM_VALUE 3 fence->ops->wait 0,4096-ptr_max
BUF_SIZE 0 wait_info 128-16383
BUF_SIZE 0 wait_info 128-16383
BUF_SIZE 1 fences 8
CAPPED_DATA 0 wait_info->num_fences 1
DATA_SOURCE 0 wait_info $2
DATA_SOURCE 1 fences r _kmalloc_array_noprof
NOSPEC 0 wait_info->num_fences
USER_DATA 0 wait_info->bo_read_handles 0-u64max[u]
USER_DATA 0 wait_info->bo_write_handles 0-u64max[u]
USER_DATA 0 wait_info->num_bo_read_handles 0-65536[u]
USER_DATA 0 wait_info->num_bo_write_handles 0-65536[u]
USER_DATA 0 wait_info->num_fences 1-u16max[c]
USER_DATA 0 wait_info->num_syncobj_handles 0-u16max[u]
USER_DATA 0 wait_info->num_syncobj_timeline_handles 0-u16max[u]
USER_DATA 0 wait_info->out_fences 0-u64max[u]
USER_DATA 0 wait_info->pad 0-u32max[u]
USER_DATA 0 wait_info->pad0 0-u16max[u]
USER_DATA 0 wait_info->syncobj_handles 0-u64max[u]
USER_DATA 0 wait_info->syncobj_timeline_handles 0-u64max[u]
USER_DATA 0 wait_info->syncobj_timeline_points 0-u64max[u]
USER_DATA 0 wait_info->waitq_id 0-u32max[u]
USER_PTR 0 wait_info