Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_cleanup() -> (struct intel_m10bmc_flash_bulk_ops)->unlock_write()
| 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 | 2977732053240774656 |
| 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 |
| FUZZY_MAX | 0 | m10bmc->bmcfw_state | 0 |
| CONTAINER | 0 | *(-24-24+0) | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/fpga/intel-m10-bmc-sec-update.c m10bmc_sec_prepare() -> (struct intel_m10bmc_flash_bulk_ops)->unlock_write()
| 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 | 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 |
| FUZZY_MAX | 0 | m10bmc->bmcfw_state | 0 |
| CONTAINER | 0 | *(-24-24+0) | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |