Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/rpmsg/rpmsg_core.c rpmsg_dev_probe() -> (struct rpmsg_driver)->remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rpdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->announce | 1 |
| PARAM_VALUE | 0 | rpdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->ept | 4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->ept->ops->send | 0,8,2532391187004870656,8101734627506692096,8243632285336358912,8261549305416118272 |
| PARAM_VALUE | 0 | rpdev->ept->ops->sendto | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->ops->announce_create | 5370195146225696768,5526124766288072704,6947865422077628416 |
| BUF_SIZE | 0 | rpdev->ept | (-1),208 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/rpmsg/rpmsg_core.c rpmsg_dev_remove() -> (struct rpmsg_driver)->remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rpdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->ept->ops->sendto | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rpdev->ops->announce_destroy | 0,1012780546423975936 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |