Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fpga/fpga-mgr.c fpga_mgr_write_init() -> (struct fpga_manager_ops)->write_init()

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 0 mgr->mops->parse_header 0,8920378190623121408,9104351966112223232
PARAM_VALUE 0 mgr->mops->write 0,4096-ptr_max
PARAM_VALUE 0 mgr->mops->write_init 4096-ptr_max
PARAM_VALUE 0 mgr->state 8
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->header_size 0-255,920,1024
BUF_SIZE 1 info (-1),88
BUF_SIZE 1 info (-1),88
BUF_SIZE 1 info->buf (-1),4096
BUF_SIZE 1 info->sgt (-1),16
BUF_SIZE 2 buf (-1),1-s32max
BUF_SIZE 2 buf (-1),1-s32max
DATA_SOURCE 0 mgr $0
DATA_SOURCE 1 info $1
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 count $3
CONTAINER 0 -40-1792+0 $(-1)
NOSPEC 1 info->region_id
USER_DATA 1 info->count 0,4-u32max[c]
USER_DATA 1 info->data_size 0-4294998911,18446744073709550592,18446744073709550596-u64max
USER_DATA 1 info->header_size 1-255
USER_DATA 1 info->region_id 1-s32max[c]
USER_DATA 3 count 1-u32max[c]
USER_PTR 1 info->buf
USER_PTR 2 buf
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 0 &mgr->ref_mutex