Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/cec/core/cec-api.c cec_receive() -> cec_receive_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fh | 4096-ptr_max |
| PARAM_VALUE | 0 | fh->adap | 4096-ptr_max |
| PARAM_VALUE | 0 | fh->adap->devnode.registered | 1 |
| PARAM_VALUE | 1 | msg | 5194876837860999168 |
| BUF_SIZE | 0 | fh | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | fh | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | fh | $1 |
| DATA_SOURCE | 2 | block | $2 |
| USER_DATA | 1 | msg->flags | 0-u32max |
| USER_DATA | 1 | msg->len | 0-u32max |
| USER_DATA | 1 | msg->reply | 0-255 |
| USER_DATA | 1 | msg->rx_status | 0-255 |
| USER_DATA | 1 | msg->rx_ts | 0-u64max |
| USER_DATA | 1 | msg->sequence | 0-u32max |
| USER_DATA | 1 | msg->timeout | 0-u32max |
| USER_DATA | 1 | msg->tx_arb_lost_cnt | 0-255 |
| USER_DATA | 1 | msg->tx_error_cnt | 0-255 |
| USER_DATA | 1 | msg->tx_low_drive_cnt | 0-255 |
| USER_DATA | 1 | msg->tx_nack_cnt | 0-255 |
| USER_DATA | 1 | msg->tx_status | 0-255 |
| USER_DATA | 1 | msg->tx_ts | 0-u64max |
| USER_PTR | 1 | msg->msg |