Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/radeon/r300.c r300_packet3_check() -> r100_cs_track_check_pkt3_indx_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2688560332286525440 |
| PARAM_VALUE | 0 | p->chunk_ib | 4096-ptr_max |
| PARAM_VALUE | 0 | p->chunk_ib->kdata | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->chunk_ib->length_dw | 1-u32max |
| PARAM_VALUE | 0 | p->chunk_relocs | 4096-ptr_max |
| PARAM_VALUE | 0 | p->chunk_relocs->length_dw | 1-u32max |
| PARAM_VALUE | 0 | p->chunks | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->cs_flags | 0 |
| PARAM_VALUE | 0 | p->exec.contended | 0,(-1) |
| PARAM_VALUE | 0 | p->exec.flags | 1 |
| PARAM_VALUE | 0 | p->exec.objects | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | p->exec.ticket.deadlock_inject_countdown | 0-15 |
| PARAM_VALUE | 0 | p->exec.ticket.deadlock_inject_interval | 0-1 |
| PARAM_VALUE | 0 | p->exec.ticket.done_acquire | 0-1 |
| PARAM_VALUE | 0 | p->exec.ticket.first_lock_dep_map.wait_type_inner | 0,4 |
| PARAM_VALUE | 0 | p->exec.ticket.is_wait_die | 0-1 |
| PARAM_VALUE | 0 | p->exec.ticket.wounded | 0-1 |
| PARAM_VALUE | 0 | p->exec.ticket.ww_class | 0,8825623990767841280 |
| PARAM_VALUE | 0 | p->filp | 4096-ptr_max |
| PARAM_VALUE | 0 | p->ib.fence | 0 |
| PARAM_VALUE | 0 | p->ib.length_dw | 0-1073741823 |
| PARAM_VALUE | 0 | p->ib.ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | p->ib.ring | 0-6 |
| PARAM_VALUE | 0 | p->ib.sa_bo | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->ib.sync.last_vm_update | 0 |
| PARAM_VALUE | 0 | p->ib.vm | 0 |
| PARAM_VALUE | 0 | p->nchunks | 0-268435455 |
| PARAM_VALUE | 0 | p->nrelocs | 0 |
| PARAM_VALUE | 0 | p->rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | p->relocs | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | p->ring | 0-6 |
| PARAM_VALUE | 0 | p->track | 4096-ptr_max |
| PARAM_VALUE | 0 | p->validated.next | 4096-ptr_max |
| PARAM_VALUE | 0 | p->validated.prev | 2688560332286525512 |
| PARAM_VALUE | 0 | p->vm_bos | 0,4096-ptr_max |
| PARAM_VALUE | 1 | pkt | 1080349159673131008 |
| PARAM_VALUE | 1 | pkt->count | (-1)-16383 |
| PARAM_VALUE | 1 | pkt->idx | 0-4294967294 |
| PARAM_VALUE | 1 | pkt->one_reg_wr | 0-1 |
| PARAM_VALUE | 1 | pkt->opcode | 51 |
| PARAM_VALUE | 1 | pkt->type | 3 |
| BUF_SIZE | 0 | p->filp | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | p->rdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | p->track | 3272 |
| CAPPED_DATA | 0 | p->chunk_ib->length_dw | 1 |
| CAPPED_DATA | 0 | p->chunk_relocs->length_dw | 1 |
| DATA_SOURCE | 0 | p | $0 |
| DATA_SOURCE | 1 | pkt | $1 |
| USER_DATA | 0 | p->nchunks | 1-268435455[c][u] |
| USER_DATA | 0 | *p->ib.ptr | 0-u32max |
| USER_DATA | 1 | pkt->count | 1-16383[c] |
| USER_DATA | 1 | pkt->idx | 3-180237[c] |
| USER_DATA | 1 | pkt->one_reg_wr | 0-1[c] |
| USER_DATA | 1 | pkt->reg | 0,4-262140[c] |
| USER_DATA | 1 | pkt->type | 3[c] |
| NO_OVERFLOW_SIMPLE | 0 | p->nrelocs | |
| USER_PTR | 0 | p->chunks_array | |
| USER_PTR | 0 | p->ib.ptr | |
| LOCK2 | &rdev->exclusive_lock | ||
| TYPE_LOCK | (struct radeon_device)->exclusive_lock |
drivers/gpu/drm/radeon/r100.c r100_packet3_check() -> r100_cs_track_check_pkt3_indx_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2688560332286525440 |
| PARAM_VALUE | 0 | p->chunk_ib | 4096-ptr_max |
| PARAM_VALUE | 0 | p->chunk_ib->kdata | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->chunk_ib->length_dw | 1-u32max |
| PARAM_VALUE | 0 | p->chunk_relocs | 4096-ptr_max |
| PARAM_VALUE | 0 | p->chunk_relocs->length_dw | 1-u32max |
| PARAM_VALUE | 0 | p->chunks | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->cs_flags | 0 |
| PARAM_VALUE | 0 | p->exec.contended | 0,(-1) |
| PARAM_VALUE | 0 | p->exec.flags | 1 |
| PARAM_VALUE | 0 | p->exec.objects | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | p->exec.ticket.deadlock_inject_countdown | 0-15 |
| PARAM_VALUE | 0 | p->exec.ticket.deadlock_inject_interval | 0-1 |
| PARAM_VALUE | 0 | p->exec.ticket.done_acquire | 0-1 |
| PARAM_VALUE | 0 | p->exec.ticket.first_lock_dep_map.wait_type_inner | 0,4 |
| PARAM_VALUE | 0 | p->exec.ticket.is_wait_die | 0-1 |
| PARAM_VALUE | 0 | p->exec.ticket.wounded | 0-1 |
| PARAM_VALUE | 0 | p->exec.ticket.ww_class | 0,8825623990767841280 |
| PARAM_VALUE | 0 | p->filp | 4096-ptr_max |
| PARAM_VALUE | 0 | p->ib.fence | 0 |
| PARAM_VALUE | 0 | p->ib.length_dw | 0-1073741823 |
| PARAM_VALUE | 0 | p->ib.ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | p->ib.ring | 0-6 |
| PARAM_VALUE | 0 | p->ib.sa_bo | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->ib.sync.last_vm_update | 0 |
| PARAM_VALUE | 0 | p->ib.vm | 0 |
| PARAM_VALUE | 0 | p->nchunks | 0-268435455 |
| PARAM_VALUE | 0 | p->nrelocs | 0 |
| PARAM_VALUE | 0 | p->rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | p->relocs | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | p->ring | 0-6 |
| PARAM_VALUE | 0 | p->track | 4096-ptr_max |
| PARAM_VALUE | 0 | p->validated.next | 4096-ptr_max |
| PARAM_VALUE | 0 | p->validated.prev | 2688560332286525512 |
| PARAM_VALUE | 0 | p->vm_bos | 0,4096-ptr_max |
| PARAM_VALUE | 1 | pkt | 2324843566982938624 |
| PARAM_VALUE | 1 | pkt->count | (-1)-16383 |
| PARAM_VALUE | 1 | pkt->idx | 0-4294967294 |
| PARAM_VALUE | 1 | pkt->one_reg_wr | 0-1 |
| PARAM_VALUE | 1 | pkt->opcode | 51 |
| PARAM_VALUE | 1 | pkt->type | 3 |
| BUF_SIZE | 0 | p->filp | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | p->rdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | p->track | 3272 |
| CAPPED_DATA | 0 | p->chunk_ib->length_dw | 1 |
| CAPPED_DATA | 0 | p->chunk_relocs->length_dw | 1 |
| DATA_SOURCE | 0 | p | $0 |
| DATA_SOURCE | 1 | pkt | $1 |
| USER_DATA | 0 | p->nchunks | 1-268435455[c][u] |
| USER_DATA | 0 | *p->ib.ptr | 0-u32max |
| USER_DATA | 1 | pkt->count | 1-16383[c] |
| USER_DATA | 1 | pkt->idx | 3-180237[c] |
| USER_DATA | 1 | pkt->one_reg_wr | 0-1[c] |
| USER_DATA | 1 | pkt->reg | 0,4-262140[c] |
| USER_DATA | 1 | pkt->type | 3[c] |
| NO_OVERFLOW_SIMPLE | 0 | p->nrelocs | |
| USER_PTR | 0 | p->chunks_array | |
| USER_PTR | 0 | p->ib.ptr | |
| LOCK2 | &rdev->exclusive_lock | ||
| TYPE_LOCK | (struct radeon_device)->exclusive_lock |