Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_object.c virtio_gpu_detach_object_fenced() -> virtio_gpu_object_detach()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->attached 1
PARAM_VALUE 1 obj->base.base.dev 4096-ptr_max
PARAM_VALUE 1 obj->base.base.dev->dev_private 4096-ptr_max
PARAM_VALUE 1 obj->base.base.import_attach 4096-ptr_max
PARAM_VALUE 1 obj->base.base.import_attach->dmabuf 4096-ptr_max
PARAM_VALUE 1 obj->created 1
PARAM_VALUE 2 fence 4096-ptr_max
PARAM_VALUE 2 fence->drv 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.next 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.next->next 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.prev 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.prev->next 4096-ptr_max
PARAM_VALUE 2 fence->f.cb_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 fence->f.error 0
PARAM_VALUE 2 fence->f.extern_lock 1-u64max
PARAM_VALUE 2 fence->f.flags 1,3,5,7
PARAM_VALUE 2 fence->f.ops 5370990546352951296
PARAM_VALUE 2 fence->f.ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->get_driver_name 4096-ptr_max
PARAM_VALUE 2 fence->f.ops->get_timeline_name 4096-ptr_max
PARAM_VALUE 2 fence->f.ops->release 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->set_deadline 0,2004285741546172416,2071105144755478528,2853440610722889728,3558081686514302976,5221404334427111424
PARAM_VALUE 2 fence->f.ops->signaled 0,4096-ptr_max
PARAM_VALUE 2 fence->f.ops->wait 0,3162960082638938112,3576649960670945280,4783308308267675648,5257098353859239936
PARAM_VALUE 2 fence->f.refcount.refcount.refs.counter 1
PARAM_VALUE 2 fence->f.seqno 0
PARAM_VALUE 2 fence->ring_idx 0
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 2 fence 184
DATA_SOURCE 1 obj $0
DATA_SOURCE 2 fence r virtio_gpu_fence_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 dmabuf->resv