Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/fpga/dfl-fme-pr.c fme_pr() -> fpga_region_program_fpga()

Type Parameter Key Value
PARAM_VALUE 0 region 4096-ptr_max
PARAM_VALUE 0 region->info 4096-ptr_max
PARAM_VALUE 0 region->info->buf 1-u64max
PARAM_VALUE 0 region->info->count 0,4-u32max
PARAM_VALUE 0 region->info->dev 4096-ptr_max
PARAM_VALUE 0 region->info->dev->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 region->info->dev->kobj.release.work.entry.next->prev 4096-ptr_max
BUF_SIZE 0 region->info 88
CAPPED_DATA 0 region->info->region_id 1
DATA_SOURCE 0 region r dfl_fme_region_find
NOSPEC 0 region->info->region_id
USER_DATA 0 region->info->count 0,4-u32max[c]
USER_DATA 0 region->info->region_id 1-s32max[c]
USER_PTR 0 region->info->buf
LOCK2 &fdata->lock
TYPE_LOCK (struct dfl_feature_dev_data)->lock

drivers/fpga/tests/fpga-region-test.c fpga_region_test_program_fpga() -> fpga_region_program_fpga()

Type Parameter Key Value
PARAM_VALUE 0 region 4096-ptr_max
PARAM_VALUE 0 region->info 4096-ptr_max
PARAM_VALUE 0 region->info->buf 5782316221107290112
PARAM_VALUE 0 region->info->count 4
BUF_SIZE 0 region->info 88

drivers/fpga/tests/fpga-region-test.c fpga_region_test_program_fpga() -> fpga_region_program_fpga()

Type Parameter Key Value
PARAM_VALUE 0 region 4096-ptr_max
PARAM_VALUE 0 region->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 region->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 region->info 4096-ptr_max
PARAM_VALUE 0 region->info->buf 5782316221107290112
PARAM_VALUE 0 region->info->count 4
PARAM_VALUE 0 region->info->header_size 0-255,920,1024
PARAM_VALUE 0 region->info->overlay->properties->length s32min-s32max
PARAM_VALUE 0 region->info->sgt->nents 0-4294967295
PARAM_VALUE 0 region->mgr->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 region->mgr->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 region->mgr->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 region->mgr->dev.parent->iommu->attach_deferred 0-1
PARAM_VALUE 0 region->mgr->priv->dma_done.done 0-4294967293,4294967295
PARAM_VALUE 0 region->mgr->priv->dma_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 region->mgr->priv->dma_done.wait.lock.owner (-1)
PARAM_VALUE 0 region->mgr->priv->dma_done.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 region->mgr->priv->dma_elm 0-4294967295
PARAM_VALUE 0 region->mgr->priv->dma_nelms 0-s32max
PARAM_VALUE 0 region->mgr->priv->image_match 0-1
PARAM_VALUE 0 region->mgr->priv->op_write_sg_seq 0-4294967295
PARAM_VALUE 0 region->mgr->priv->op_write_sg_state 10
PARAM_VALUE 0 region->mgr->ref_mutex.dep_map->name 0-255
PARAM_VALUE 0 region->mgr->ref_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 region->mgr->ref_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 region->mgr->ref_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 region->mgr->ref_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 region->mgr->ref_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 region->mgr->state 14
PARAM_VALUE 0 region->ops_owner 0,4096-ptr_max
PARAM_VALUE 0 region->ops_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 region->ops_owner->state 0-1,3-u32max
CAPPED_DATA 0 &region->bridge_list 1

drivers/fpga/of-fpga-region.c of_fpga_region_notify_pre_apply() -> fpga_region_program_fpga()

Type Parameter Key Value
PARAM_VALUE 0 region 4096-ptr_max
PARAM_VALUE 0 region->info 4096-ptr_max
PARAM_VALUE 0 region->info->dev 0,4096-ptr_max
PARAM_VALUE 0 region->info->firmware_name 1-u64max
PARAM_VALUE 0 region->info->overlay 0,4096-ptr_max
BUF_SIZE 0 region->info (-1),88
DATA_SOURCE 0 region $0