Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/fpga/intel-m10-bmc-sec-update.c rsu_check_complete() -> m10bmc_sec_progress_status()
| 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->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 | 1 | doorbell_reg | 3065403632159211520 |
| PARAM_VALUE | 2 | progress | 2301596221152694272 |
| PARAM_VALUE | 3 | status | 3821858913613697024 |
| 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 |
| DATA_SOURCE | 1 | doorbell_reg | $1 |
| FUZZY_MAX | 0 | sec->m10bmc->bmcfw_state | 3 |
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c rsu_update_init() -> m10bmc_sec_progress_status()
| 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 | 1 | doorbell_reg | 778262400862187520 |
| PARAM_VALUE | 2 | progress | 4949828511570538496 |
| PARAM_VALUE | 3 | status | 1313768006555840512 |
| 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 |
| HALF_LOCKED2 | &pool->lock |