Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fpga/fpga-mgr.c fpga_mgr_buf_load_mapped() -> fpga_mgr_write()

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->write 4096-ptr_max
PARAM_VALUE 0 mgr->mops->write_init 0,4096-ptr_max
PARAM_VALUE 0 mgr->priv->header_match 0-1
PARAM_VALUE 0 mgr->priv->op_parse_header_seq 0-4294967295
PARAM_VALUE 0 mgr->priv->op_parse_header_state 6-7
PARAM_VALUE 0 mgr->priv->seq_num 0-4294967295
PARAM_VALUE 0 mgr->state 10
BUF_SIZE 1 buf (-1),1-s32max
BUF_SIZE 1 buf (-1),1-s32max
DATA_SOURCE 0 mgr $0
DATA_SOURCE 1 buf $2
DATA_SOURCE 2 count $3 [m]
USER_DATA 2 count 1-4295007071,18446744073709550592,18446744073709550596-u64max
UNITS 1 buf unit_byte
UNITS 2 count unit_byte
USER_PTR 1 buf
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 0 &mgr->ref_mutex

drivers/fpga/fpga-mgr.c fpga_mgr_buf_load_sg() -> fpga_mgr_write()

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 0,4096-ptr_max
PARAM_VALUE 0 mgr->mops->write_sg 0
PARAM_VALUE 0 mgr->state 10
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 0-u32max
CAPPED_DATA 2 count 1
CAPPED_DATA 2 count 1
DATA_SOURCE 0 mgr $0
USER_DATA 2 count 0-u32max[c]
UNITS 1 buf unit_byte
UNITS 2 count unit_byte
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 0 &mgr->ref_mutex