Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/i915/pxp/intel_pxp_tee.c intel_pxp_tee_cmd_create_arb_session() -> is_fw_err_platform_config()

Type Parameter Key Value
PARAM_VALUE 0 pxp 4096-ptr_max
PARAM_VALUE 1 type 1-u32max
DATA_SOURCE 0 pxp $0
HOST_DATA 0 pxp->ctrl_gt->uncore->fifo_count 0-126,u32max
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/i915/pxp/intel_pxp_tee.c intel_pxp_tee_end_arb_fw_session() -> is_fw_err_platform_config()

Type Parameter Key Value
PARAM_VALUE 0 pxp 4096-ptr_max
PARAM_VALUE 1 type 1-u32max
DATA_SOURCE 0 pxp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &pxp->arb_mutex

drivers/gpu/drm/xe/xe_pxp_submit.c xe_pxp_submit_session_init() -> is_fw_err_platform_config()

Type Parameter Key Value
PARAM_VALUE 0 pxp 1-u32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &param.hwe->gt->oa.gt_lock
HALF_LOCKED2 &vm->lock

drivers/gpu/drm/xe/xe_pxp_submit.c xe_pxp_submit_session_invalidation() -> is_fw_err_platform_config()

Type Parameter Key Value
PARAM_VALUE 0 pxp 1-u32max
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/i915/pxp/intel_pxp_gsccs.c intel_pxp_gsccs_create_session() -> is_fw_err_platform_config()

Type Parameter Key Value
PARAM_VALUE 0 pxp 4096-ptr_max
PARAM_VALUE 1 type 1-u32max
DATA_SOURCE 0 pxp $0
HOST_DATA 0 pxp->ctrl_gt->uncore->fifo_count 0-126,u32max
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/i915/pxp/intel_pxp_gsccs.c intel_pxp_gsccs_end_arb_fw_session() -> is_fw_err_platform_config()

Type Parameter Key Value
PARAM_VALUE 0 pxp 4096-ptr_max
PARAM_VALUE 1 type 1-u32max
DATA_SOURCE 0 pxp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &pxp->arb_mutex