Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_gt_sriov_vf.c xe_gt_sriov_vf_query_runtime() -> vf_query_runtime_info()

Type Parameter Key Value
PARAM_VALUE 0 gt 4096-ptr_max
PARAM_VALUE 0 gt->tile 4096-ptr_max
PARAM_VALUE 0 gt->uc.guc.relay.pending_relays.prev 4096-ptr_max
PARAM_VALUE 0 gt->uc.guc.relay.pending_relays.prev->next 4096-ptr_max
PARAM_VALUE 0 gt->uc.guc.relay.pending_relays.prev->next->next 4096-ptr_max
PARAM_VALUE 0 gt->uc.guc.relay.pool.elements 1-u64max
CAPPED_DATA 0 gt->uc.guc.relay.pool.min_nr 1
DATA_SOURCE 0 gt $0
RX_PATH
TASK_NOT_RUNNING