Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/i915/gt/uc/intel_guc_capture.c guc_capture_add_node_to_cachelist() -> guc_capture_add_node_to_list()

Type Parameter Key Value
PARAM_VALUE 0 node 1-u64max
PARAM_VALUE 1 list 4096-ptr_max
BUF_SIZE 0 node (-1),88
BUF_SIZE 0 node (-1),88
DATA_SOURCE 0 node $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/i915/gt/uc/intel_guc_capture.c guc_capture_add_node_to_outlist() -> guc_capture_add_node_to_list()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->reginfo 4096-ptr_max
PARAM_VALUE 1 list 4096-ptr_max
DATA_SOURCE 0 node $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/xe/xe_guc_capture.c guc_capture_add_node_to_cachelist() -> guc_capture_add_node_to_list()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 1 list 4096-ptr_max
DATA_SOURCE 0 node $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/xe/xe_guc_capture.c guc_capture_add_node_to_outlist() -> guc_capture_add_node_to_list()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 0 node->reginfo 4096-ptr_max
PARAM_VALUE 0 node->source 0-1
PARAM_VALUE 0 node->type 0-2
PARAM_VALUE 1 list 4096-ptr_max
CAPPED_DATA 0 node 1
DATA_SOURCE 0 node $1
FUZZY_MAX 0 node->type 2
HARD_MAX 0 node->source 1
HARD_MAX 0 node->type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL