Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_gt_sriov_pf_control.c xe_gt_sriov_pf_control_process_save_data() -> pf_exit_vf_save_wait_data()

Type Parameter Key Value
PARAM_VALUE 0 gt 4096-ptr_max
DATA_SOURCE 0 gt $0
DATA_SOURCE 1 vfid $1
NOCHECK_CALL
UNITS 1 vfid unit_array_size
HALF_LOCKED2 &migf->lock