Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/gt/intel_gt.c intel_gt_driver_late_release_all() -> intel_gt_fini_tlb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gt | 1-u64max |
| PARAM_VALUE | 0 | gt->requests.retire_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | gt->reset.backoff_srcu.srcu_sup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gt->uc.huc.delayed_load.timer.is_queued | 0 |
| CAPPED_DATA | 0 | gt->uc.huc.delayed_load.timer.base | 1 |
| PARAM_COMPARE | 0 | >->uc.huc.delayed_load.timer | != $0->uc.huc.delayed_load.timer.base->running |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |