Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/pxp/intel_pxp_tee.c intel_pxp_tee_component_fini() -> free_streaming_command()

Type Parameter Key Value
PARAM_VALUE 0 pxp 4096-ptr_max
PARAM_VALUE 0 pxp->arb_is_valid 0
PARAM_VALUE 0 pxp->ctrl_gt 4096-ptr_max
PARAM_VALUE 0 pxp->ctrl_gt->i915 4096-ptr_max
PARAM_VALUE 0 pxp->pxp_component_added 0
DATA_SOURCE 0 pxp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pxp->ctrl_gt->uncore->fifo_count 0-127,u32max

drivers/gpu/drm/i915/pxp/intel_pxp_tee.c intel_pxp_tee_component_init() -> free_streaming_command()

Type Parameter Key Value
PARAM_VALUE 0 pxp 4096-ptr_max
PARAM_VALUE 0 pxp->ctrl_gt 4096-ptr_max
PARAM_VALUE 0 pxp->ctrl_gt->i915 4096-ptr_max
PARAM_VALUE 0 pxp->ctrl_gt->i915->__info 4096-ptr_max
PARAM_VALUE 0 pxp->stream_cmd.obj 0,4096-ptr_max
PARAM_VALUE 0 pxp->stream_cmd.obj->mm.get_page.sg_idx 0
PARAM_VALUE 0 pxp->stream_cmd.obj->obj_link.next 8116942592190632088
PARAM_VALUE 0 pxp->stream_cmd.obj->ops 4096-ptr_max
PARAM_VALUE 0 pxp->stream_cmd.obj->read_domains 1,128
PARAM_VALUE 0 pxp->stream_cmd.vaddr 0-ptr_max
PARAM_VALUE 0 pxp->tee_mutex.dep_map->name 0-255
PARAM_VALUE 0 pxp->tee_mutex.first_waiter 0
PARAM_VALUE 0 pxp->tee_mutex.magic 4096-ptr_max
PARAM_VALUE 0 pxp->tee_mutex.osq.tail.counter 0
PARAM_VALUE 0 pxp->tee_mutex.owner.counter 0
BUF_SIZE 0 pxp 616
DATA_SOURCE 0 pxp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock