Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gt/intel_execlists_submission.c execlists_reset_csb() -> post_process_csb()

Type Parameter Key Value
PARAM_VALUE 0 port 2444176696244310016
BUF_SIZE 0 port 32
BUF_SIZE 1 last (-1),32
BUF_SIZE 1 last (-1),32
DATA_SOURCE 1 last r cancel_port_requests
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 bh

drivers/gpu/drm/i915/gt/intel_execlists_submission.c execlists_submission_tasklet() -> post_process_csb()

Type Parameter Key Value
PARAM_VALUE 0 port 5362296872530104320
PARAM_VALUE 1 last 5362296872530104320-u64max
BUF_SIZE 0 port 32
BUF_SIZE 1 last (-1),32
BUF_SIZE 1 last (-1),32
DATA_SOURCE 1 last r process_csb
PARAM_COMPARE 0 port <= $1
PARAM_COMPARE 1 last >= $0
PARAM_COMPARE 1 last >= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 bh