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() -> log_error_regs()
| 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->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,768,832,1272 |
| BUF_SIZE | 0 | sec | 48,72,768,832,1272 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_poll_complete() -> log_error_regs()
| 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->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | *sec->m10bmc->regmap->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,768,832,1272 |
| BUF_SIZE | 0 | sec | 48,72,768,832,1272 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->precious_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_yes_ranges | 1 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 3 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_poll_complete() -> log_error_regs()
| 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->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | *sec->m10bmc->regmap->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,768,832,1272 |
| BUF_SIZE | 0 | sec | 48,72,768,832,1272 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->precious_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_yes_ranges | 1 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 3 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c rsu_check_idle() -> log_error_regs()
| 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->flash_bulk_ops | 0,2977732053240774656 |
| PARAM_VALUE | 0 | sec->m10bmc->info | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->m10bmc->info->csr_map | 464698511041613824,1477420291740807168 |
| PARAM_VALUE | 0 | sec->m10bmc->info->handshake_sys_reg_nranges | 0-1 |
| PARAM_VALUE | 0 | *sec->m10bmc->regmap->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| DATA_SOURCE | 0 | sec | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c rsu_prog_ready() -> log_error_regs()
| 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.dep_map->name | 0-255 |
| 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->flash_bulk_ops | 0,2977732053240774656 |
| PARAM_VALUE | 0 | sec->m10bmc->info | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->m10bmc->info->csr_map | 464698511041613824,1477420291740807168 |
| PARAM_VALUE | 0 | sec->m10bmc->info->handshake_sys_reg_nranges | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | *sec->m10bmc->regmap->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->precious_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | sec | $0 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c rsu_prog_ready() -> log_error_regs()
| 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.dep_map->name | 0-255 |
| 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->flash_bulk_ops | 0,2977732053240774656 |
| PARAM_VALUE | 0 | sec->m10bmc->info | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->m10bmc->info->csr_map | 464698511041613824,1477420291740807168 |
| PARAM_VALUE | 0 | sec->m10bmc->info->handshake_sys_reg_nranges | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | *sec->m10bmc->regmap->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->precious_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | sec | $0 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c rsu_send_data() -> log_error_regs()
| 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 | 464698511041613824,1477420291740807168 |
| 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_dirty | 1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->unlock | 4096-ptr_max |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->precious_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | sec | $0 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 3 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c rsu_send_data() -> log_error_regs()
| 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 | 464698511041613824,1477420291740807168 |
| 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->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->unlock | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | *sec->m10bmc->regmap->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->precious_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | sec | $0 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 3 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c rsu_update_init() -> log_error_regs()
| 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->flash_bulk_ops | 0,2977732053240774656 |
| PARAM_VALUE | 0 | sec->m10bmc->info | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->m10bmc->info->csr_map | 464698511041613824,1477420291740807168 |
| PARAM_VALUE | 0 | sec->m10bmc->info->handshake_sys_reg_nranges | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | *sec->m10bmc->regmap->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->precious_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | sec | $0 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c rsu_update_init() -> log_error_regs()
| 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->flash_bulk_ops | 0,2977732053240774656 |
| PARAM_VALUE | 0 | sec->m10bmc->info | 4096-ptr_max |
| PARAM_VALUE | 0 | sec->m10bmc->info->csr_map | 464698511041613824,1477420291740807168 |
| PARAM_VALUE | 0 | sec->m10bmc->info->handshake_sys_reg_nranges | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | sec->m10bmc->regmap->cache_dirty | 1 |
| PARAM_VALUE | 0 | *sec->m10bmc->regmap->cache->data | 0-4294967295 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| BUF_SIZE | 0 | sec | 48,72,800,832,1432 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->precious_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->volatile_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | sec->m10bmc->regmap->wr_table->n_yes_ranges | 1 |
| DATA_SOURCE | 0 | sec | $0 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |