Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_fw_write() -> m10bmc_sec_write()

Type Parameter Key Value
PARAM_VALUE 0 sec 4096-ptr_max
PARAM_VALUE 0 sec->cancel_request 0
PARAM_VALUE 0 sec->m10bmc 4096-ptr_max
PARAM_VALUE 0 sec->m10bmc->bmcfw_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sec->m10bmc->bmcfw_lock.first_waiter->type 0-1
PARAM_VALUE 0 sec->m10bmc->bmcfw_state 0-3
PARAM_VALUE 0 sec->m10bmc->info 4096-ptr_max
PARAM_VALUE 0 sec->m10bmc->info->csr_map 4096-ptr_max
PARAM_VALUE 0 sec->m10bmc->info->handshake_sys_reg_nranges 0-1
PARAM_VALUE 0 sec->m10bmc->regmap 4096-ptr_max
PARAM_VALUE 0 *sec->m10bmc->regmap->cache->data 0-4294967295
PARAM_VALUE 3 size 1-16384
BUF_SIZE 0 sec 48,72,768,832,1272
BUF_SIZE 0 sec 48,72,768,832,1272
BUF_SIZE 1 buf 1-s32max
BUF_SIZE 1 buf 1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 offset $2
HALF_LOCKED2 &pool->lock