Open Menu /

Defined in 1 files as a member:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/bpf/liveness.c analyze_subprog() -> free_instance()

Type Parameter Key Value
PARAM_VALUE 0 file_priv 4096-ptr_max
PARAM_VALUE 0 *file_priv->frames 0
BUF_SIZE 0 file_priv 176
DATA_SOURCE 0 file_priv $3 [m]
NOCHECK_CALL

kernel/bpf/liveness.c analyze_subprog() -> free_instance()

Type Parameter Key Value
PARAM_VALUE 0 file_priv 4096-ptr_max
BUF_SIZE 0 file_priv 176
DATA_SOURCE 0 file_priv $3 [m]
NOCHECK_CALL

drivers/accel/ivpu/ivpu_ms.c ivpu_ms_cleanup() -> free_instance()

Type Parameter Key Value
PARAM_VALUE 0 file_priv 4096-ptr_max
PARAM_VALUE 0 file_priv->ms_info_bo 0
PARAM_VALUE 0 file_priv->ms_lock.dep_map->name 0-255
PARAM_VALUE 0 file_priv->ms_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 file_priv->ms_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 file_priv->ms_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 file_priv->ms_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 file_priv->ms_lock.wait_lock.owner (-1)
PARAM_VALUE 0 file_priv->ms_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 file_priv->vdev 4096-ptr_max
PARAM_VALUE 0 file_priv->vdev->drm.dev 4096-ptr_max
PARAM_VALUE 0 file_priv->vdev->drm.dev->power.request 0-4
PARAM_VALUE 0 file_priv->vdev->drm.dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 file_priv->vdev->drm.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 ms 4096-ptr_max
BUF_SIZE 0 file_priv (-1),16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
BUF_SIZE 0 file_priv (-1),16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
CAPPED_DATA 0 &file_priv->ms_instance_list 1
CAPPED_DATA 0 &file_priv->ms_lock 1
CAPPED_DATA 1 &ms->ms_instance_node 1
DATA_SOURCE 0 file_priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &file_priv->ms_lock
HALF_LOCKED2 &vdev->context_list_lock
TYPE_LOCK (struct ivpu_file_priv)->ms_lock

drivers/accel/ivpu/ivpu_ms.c ivpu_ms_stop_ioctl() -> free_instance()

Type Parameter Key Value
PARAM_VALUE 0 file_priv 4096-ptr_max
PARAM_VALUE 0 file_priv->ms_lock.dep_map->name 0-255
PARAM_VALUE 0 file_priv->ms_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 file_priv->ms_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 file_priv->ms_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 file_priv->ms_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 file_priv->ms_lock.wait_lock.owner (-1)
PARAM_VALUE 0 file_priv->ms_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 file_priv->vdev 4096-ptr_max
PARAM_VALUE 0 file_priv->vdev->drm.dev 4096-ptr_max
PARAM_VALUE 0 file_priv->vdev->drm.dev->power.request 0-4
PARAM_VALUE 0 file_priv->vdev->drm.dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 file_priv->vdev->drm.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 ms 4096-ptr_max
PARAM_VALUE 1 ms->mask 1-u64max
BUF_SIZE 0 file_priv 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
BUF_SIZE 0 file_priv 16,48,104,120,152,248,256,352,424,464,576,768,968,1120,1424,2256,4712,13184
CAPPED_DATA 0 &file_priv->ms_lock 1
CAPPED_DATA 1 ms->mask 1
DATA_SOURCE 1 ms r get_instance_by_mask
NOCHECK_CALL
USER_DATA 1 ms->mask 1-u64max[c]
LOCK2 0 &file_priv->ms_lock
TYPE_LOCK (struct ivpu_file_priv)->ms_lock