Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/char/hw_random/mpfs-rng.c, line 49
- drivers/firmware/microchip/mpfs-auto-update.c
- drivers/soc/microchip/mpfs-sys-controller.c, line 86
Smatch caller information:
drivers/firmware/microchip/mpfs-auto-update.c mpfs_auto_update_available() -> mpfs_blocking_transaction()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sys_controller | 4096-ptr_max |
| PARAM_VALUE | 0 | sys_controller->consumers.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cmd_data | 0 |
| PARAM_VALUE | 1 | msg->cmd_data_size | 0 |
| PARAM_VALUE | 1 | msg->cmd_opcode | 5 |
| PARAM_VALUE | 1 | msg->mbox_offset | 0 |
| PARAM_VALUE | 1 | msg->resp_offset | 0 |
| PARAM_VALUE | 1 | msg->response | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->response->resp_msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->response->resp_size | 33 |
| BUF_SIZE | 0 | sys_controller | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sys_controller | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | msg | 32 |
| BUF_SIZE | 1 | msg->response | 24 |
| DATA_SOURCE | 1 | msg | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sys_controller | unit_byte |
drivers/firmware/microchip/mpfs-auto-update.c mpfs_auto_update_verify_image() -> mpfs_blocking_transaction()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cmd_data | 0 |
| PARAM_VALUE | 1 | msg->cmd_data_size | 0 |
| PARAM_VALUE | 1 | msg->cmd_opcode | 34 |
| PARAM_VALUE | 1 | msg->mbox_offset | 1 |
| PARAM_VALUE | 1 | msg->resp_offset | 0 |
| PARAM_VALUE | 1 | msg->response | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->response->resp_msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->response->resp_size | 1 |
| BUF_SIZE | 1 | msg | 32 |
| BUF_SIZE | 1 | msg->response | 24 |
| DATA_SOURCE | 1 | msg | r _kzalloc_noprof |
| UNITS | 0 | sys_controller | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/char/hw_random/mpfs-rng.c mpfs_rng_read() -> mpfs_blocking_transaction()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 610051788161540096 |
| PARAM_VALUE | 1 | msg->cmd_data | 0 |
| PARAM_VALUE | 1 | msg->cmd_opcode | 33 |
| PARAM_VALUE | 1 | msg->response | 2814678859825528832 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sys_controller | unit_byte |
| HALF_LOCKED2 | global &reading_mutex |