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_load() -> fpga_mgr_firmware_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->firmware_name 1-u64max
PARAM_VALUE 1 info->header_size 0,71,128,920
PARAM_VALUE 1 info->sgt 0
PARAM_VALUE 2 image_name 1-u64max
BUF_SIZE 1 info (-1),88
BUF_SIZE 1 info (-1),88
DATA_SOURCE 0 mgr $0
DATA_SOURCE 1 info $1
USER_DATA 1 info->count 0,4-u32max[c]
USER_DATA 1 info->region_id 1-s32max[c]
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