Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/rpmsg/rpmsg_core.c rpmsg_sendto() -> (struct rpmsg_endpoint_ops)->sendto()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ept | 4096-ptr_max |
| PARAM_VALUE | 0 | ept->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ept->ops->send | 0,8,2532391187004870656,8101734627506692096,8243632285336358912,8261549305416118272 |
| PARAM_VALUE | 0 | ept->ops->sendto | 3281823784147652608,7380088618919321600,7633828355609636864 |
| PARAM_VALUE | 1 | data | 16,4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-4000000 |
| BUF_SIZE | 0 | ept | (-1),208 |
| BUF_SIZE | 0 | ept | (-1),208 |
| BUF_SIZE | 1 | data | 0-1000000000 |
| BUF_SIZE | 1 | data | 0-1000000000 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | ept | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| DATA_SOURCE | 3 | dst | $3 |
| CONTAINER | 0 | -16-200+0 | $(-1) |
| PARAM_COMPARE | 1 | data | >= $2 |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | len | 1-4000000[c] |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &eptdev->ept_lock |