Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/accel/amdxdna/amdxdna_mailbox.c mailbox_get_msg() -> mailbox_get_resp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mb_chann | 4096-ptr_max |
| PARAM_VALUE | 0 | mb_chann->bad_state | 0 |
| PARAM_VALUE | 0 | mb_chann->mb | 4096-ptr_max |
| PARAM_VALUE | 0 | mb_chann->res | 4096-ptr_max |
| PARAM_VALUE | 1 | header | 7484859631081541632 |
| PARAM_VALUE | 1 | header->total_size | 1-3735943885,3735943887-u32max |
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| DATA_SOURCE | 0 | mb_chann | $0 |
| RX_PATH | |||
| UNITS | 2 | data | unit_byte |
| HALF_LOCKED2 | &pool->lock |