Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_cleanup() -> m10bmc_fw_state_set()

Type Parameter Key Value
PARAM_VALUE 0 m10bmc 4096-ptr_max
PARAM_VALUE 0 m10bmc->bmcfw_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 m10bmc->bmcfw_lock.first_waiter->type 0-1
PARAM_VALUE 0 m10bmc->bmcfw_state 0-3
PARAM_VALUE 0 m10bmc->info 4096-ptr_max
PARAM_VALUE 0 m10bmc->info->csr_map 4096-ptr_max
PARAM_VALUE 0 m10bmc->info->handshake_sys_reg_nranges 0-1
PARAM_VALUE 1 new_state 0
NOCHECK_CALL
UNITS 0 m10bmc unit_byte
HALF_LOCKED2 &pool->lock

drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_poll_complete() -> m10bmc_fw_state_set()

Type Parameter Key Value
PARAM_VALUE 1 new_state 3
NOCHECK_CALL
UNITS 0 m10bmc unit_byte
HALF_LOCKED2 &pool->lock

drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_prepare() -> m10bmc_fw_state_set()

Type Parameter Key Value
PARAM_VALUE 0 m10bmc 4096-ptr_max
PARAM_VALUE 0 m10bmc->bmcfw_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 m10bmc->bmcfw_lock.first_waiter->type 0-1
PARAM_VALUE 0 m10bmc->bmcfw_state 0-3
PARAM_VALUE 0 m10bmc->flash_bulk_ops 0,2977732053240774656
PARAM_VALUE 0 m10bmc->info 4096-ptr_max
PARAM_VALUE 0 m10bmc->info->csr_map 464698511041613824,1477420291740807168
PARAM_VALUE 0 m10bmc->info->handshake_sys_reg_nranges 0-1
PARAM_VALUE 0 *m10bmc->regmap->cache->data 0-4294967295
PARAM_VALUE 1 new_state 1
NOCHECK_CALL
UNITS 0 m10bmc unit_byte
HALF_LOCKED2 &pool->lock

drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_prepare() -> m10bmc_fw_state_set()

Type Parameter Key Value
PARAM_VALUE 0 m10bmc 4096-ptr_max
PARAM_VALUE 0 m10bmc->bmcfw_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 m10bmc->bmcfw_lock.first_waiter->type 0-1
PARAM_VALUE 0 m10bmc->bmcfw_state 0-3
PARAM_VALUE 0 m10bmc->flash_bulk_ops 0,2977732053240774656
PARAM_VALUE 0 m10bmc->info 4096-ptr_max
PARAM_VALUE 0 m10bmc->info->csr_map 464698511041613824,1477420291740807168
PARAM_VALUE 0 m10bmc->info->handshake_sys_reg_nranges 0-1
PARAM_VALUE 0 m10bmc->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 m10bmc->regmap->cache_dirty 1
PARAM_VALUE 0 *m10bmc->regmap->cache->data 0-4294967295
PARAM_VALUE 1 new_state 2
CAPPED_DATA 0 m10bmc->regmap->precious_table->n_no_ranges 1
CAPPED_DATA 0 m10bmc->regmap->rd_table->n_no_ranges 1
CAPPED_DATA 0 m10bmc->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 m10bmc->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 m10bmc->regmap->volatile_table->n_yes_ranges 1
CAPPED_DATA 0 m10bmc->regmap->wr_table->n_no_ranges 1
CAPPED_DATA 0 m10bmc->regmap->wr_table->n_yes_ranges 1
FUZZY_MAX 0 m10bmc->bmcfw_state 1
NOCHECK_CALL
UNITS 0 m10bmc unit_byte
HALF_LOCKED2 &pool->lock

drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_prepare() -> m10bmc_fw_state_set()

Type Parameter Key Value
PARAM_VALUE 0 m10bmc 4096-ptr_max
PARAM_VALUE 0 m10bmc->bmcfw_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 m10bmc->bmcfw_lock.first_waiter->type 0-1
PARAM_VALUE 0 m10bmc->bmcfw_state 0-3
PARAM_VALUE 0 m10bmc->flash_bulk_ops 0,2977732053240774656
PARAM_VALUE 0 m10bmc->info 4096-ptr_max
PARAM_VALUE 0 m10bmc->info->csr_map 464698511041613824,1477420291740807168
PARAM_VALUE 0 m10bmc->info->handshake_sys_reg_nranges 0-1
PARAM_VALUE 0 m10bmc->regmap->async 0-1
PARAM_VALUE 0 m10bmc->regmap->cache_dirty 0-1
PARAM_VALUE 1 new_state 0
FUZZY_MAX 0 m10bmc->bmcfw_state 1
NOCHECK_CALL
UNITS 0 m10bmc unit_byte
HALF_LOCKED2 &pool->lock