Open Menu /

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_init_buf()

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->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 6
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->header_size 0-255,920,1024
PARAM_VALUE 1 info->sgt 0
BUF_SIZE 1 info (-1),88
BUF_SIZE 1 info (-1),88
BUF_SIZE 1 info->buf (-1),4096
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
NOSPEC 1 info->region_id
USER_DATA 1 info->count 0,4-u32max[c]
USER_DATA 1 info->data_size 0-4295007071,18446744073709550592,18446744073709550596-u64max
USER_DATA 1 info->region_id 1-s32max[c]
USER_DATA 3 count 4-u32max[c]
UNITS 2 buf unit_byte
UNITS 3 count unit_byte
USER_PTR 1 info->buf
USER_PTR 2 buf
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 0 &mgr->ref_mutex

drivers/fpga/fpga-mgr.c fpga_mgr_prepare_sg() -> fpga_mgr_write_init_buf()

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
PARAM_VALUE 0 mgr->mops->parse_header 0
PARAM_VALUE 0 mgr->mops->write 0,4096-ptr_max
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->header_size 0,71,128,920
PARAM_VALUE 2 buf 0
PARAM_VALUE 3 count 0
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
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]
USER_PTR 1 info->buf
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 0 &mgr->ref_mutex

drivers/fpga/fpga-mgr.c fpga_mgr_prepare_sg() -> fpga_mgr_write_init_buf()

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->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 6
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->header_size 0-255,920,1024
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 3 count 0-u32max
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
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->data_size 0-4295007071,18446744073709550592,18446744073709550596-u64max
USER_DATA 1 info->region_id 1-s32max[c]
UNITS 2 buf unit_byte
UNITS 3 count unit_byte
USER_PTR 1 info->buf
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 0 &mgr->ref_mutex

drivers/fpga/fpga-mgr.c fpga_mgr_prepare_sg() -> fpga_mgr_write_init_buf()

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->state 6-7
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->header_size 0-255,920,1024
PARAM_VALUE 2 buf 1-ptr_max
PARAM_VALUE 3 count 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-255,920,1024
BUF_SIZE 2 buf (-1),1-255,920,1024
DATA_SOURCE 0 mgr $0
DATA_SOURCE 1 info $1
DATA_SOURCE 2 buf r fpga_mgr_parse_header_sg
NOSPEC 1 info->region_id
USER_DATA 1 info->count 0,4-u32max[c]
USER_DATA 1 info->data_size 0-4295007071,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-255[c]
USER_PTR 1 info->buf
HALF_LOCKED2 &region->mutex
HALF_LOCKED2 0 &mgr->ref_mutex