Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/panthor/panthor_sched.c sched_process_csg_irq_locked() -> csg_slot_process_progress_timer_event_locked()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ptdev | 4096-ptr_max |
| PARAM_VALUE | 0 | ptdev->base.anon_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max |
| PARAM_VALUE | 0 | ptdev->base.anon_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ptdev->base.anon_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ptdev->base.huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ptdev->gpu->pending_reqs | 0-4294967295 |
| PARAM_VALUE | 0 | ptdev->scheduler | 4096-ptr_max |
| PARAM_VALUE | 0 | ptdev->scheduler->csg_slot_count | 1-u32max |
| PARAM_VALUE | 1 | csg_id | 0-4294967294 |
| BUF_SIZE | 0 | ptdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ptdev | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | ptdev->scheduler->csg_slot_count | 1 |
| CAPPED_DATA | 1 | csg_id | 1 |
| DATA_SOURCE | 0 | ptdev | $0 |
| DATA_SOURCE | 1 | csg_id | $1 |
| PARAM_COMPARE | 1 | csg_id | < $0->scheduler->csg_slot_count |
| NOCHECK_CALL | |||
| UNITS | 0 | ptdev | unit_byte |
| UNITS | 1 | csg_id | unit_array_size |
| LOCK2 | &sched->lock | ||
| HALF_LOCKED2 | global &drm_unplug_srcu | ||
| TYPE_LOCK | (struct panthor_scheduler)->lock |