Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fpga/fpga-mgr.c fpga_mgr_firmware_load() -> fpga_mgr_buf_load()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 0 mgr->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 mgr->dev.class 0,4096-ptr_max
PARAM_VALUE 0 mgr->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mgr->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 mgr->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mgr->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 mgr->dev.parent->iommu->attach_deferred 0-1
PARAM_VALUE 0 mgr->dev.parent->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 mgr->mops 4096-ptr_max
PARAM_VALUE 0 mgr->mops->initial_header_size 0,71,128,920
PARAM_VALUE 0 mgr->state 4
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->dev 0,4096-u64max
PARAM_VALUE 1 info->firmware_name 1-u64max
PARAM_VALUE 1 info->header_size 0,71,128,920
PARAM_VALUE 1 info->sgt 0
BUF_SIZE 1 info (-1),88
BUF_SIZE 1 info (-1),88
BUF_SIZE 2 buf 1-s32max
DATA_SOURCE 0 mgr $0
DATA_SOURCE 1 info $1
NOSPEC 1 info->region_id
USER_DATA 1 info->count 0,4-u32max[c]
USER_DATA 1 info->region_id 1-s32max[c]
UNITS 2 buf unit_byte
UNITS 3 count unit_byte
USER_PTR 1 info->buf
LOCK2 &region->mutex
LOCK2 0 &mgr->ref_mutex
HALF_LOCKED2 &fdata->lock
TYPE_LOCK (struct fpga_manager)->ref_mutex
TYPE_LOCK (struct fpga_region)->mutex

drivers/fpga/fpga-mgr.c fpga_mgr_load() -> fpga_mgr_buf_load()

Type Parameter Key Value
PARAM_VALUE 0 mgr 4096-ptr_max
PARAM_VALUE 0 mgr->mops 4096-ptr_max
PARAM_VALUE 0 mgr->mops->initial_header_size 0,71,128,920
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->buf 1-u64max
PARAM_VALUE 1 info->count 1-u64max
PARAM_VALUE 1 info->header_size 0,71,128,920
PARAM_VALUE 1 info->sgt 0
PARAM_VALUE 2 buf 1-u64max
PARAM_VALUE 3 count 1-u64max
BUF_SIZE 1 info (-1),88
BUF_SIZE 1 info (-1),88
BUF_SIZE 1 info->buf (-1),4096
BUF_SIZE 2 buf (-1),4096
BUF_SIZE 2 buf (-1),4096
DATA_SOURCE 0 mgr $0
DATA_SOURCE 1 info $1
USER_DATA 1 info->count 4-u32max[c]
USER_DATA 1 info->region_id 1-s32max[c]
USER_DATA 3 count 4-u32max[c]
UNITS 3 count unit_byte
USER_PTR 1 info->buf
USER_PTR 2 buf
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 0 &mgr->ref_mutex