Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_gt_sriov_vf.c vf_query_runtime_info() -> vf_prepare_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.lock.rlock.dep_map->name 0-255
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
NO_OVERFLOW_SIMPLE 0 gt->sriov.vf.runtime.num_regs

drivers/gpu/drm/xe/xe_gt_sriov_vf.c vf_query_runtime_info() -> vf_prepare_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->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
PARAM_VALUE 1 num_regs 0
CAPPED_DATA 0 gt->uc.guc.relay.pool.min_nr 1
DATA_SOURCE 0 gt $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 gt->sriov.vf.runtime.num_regs