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_trysendto() -> (struct rpmsg_endpoint_ops)->trysendto()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ept | 4096-ptr_max |
| PARAM_VALUE | 0 | ept->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ept->ops->trysendto | 2359183341211414528,6737317386924634112,6871086108944478208 |
| PARAM_VALUE | 1 | data | 16,4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-4000000 |
| 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 | -32-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 |
| LOCK2 | &eptdev->ept_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rpmsg_eptdev)->ept_lock |