Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rpmsg/virtio_rpmsg_bus.c rpmsg_send_offchannel_raw() -> cpu_to_rpmsg32()

Type Parameter Key Value
PARAM_VALUE 0 rpdev 0,4096-ptr_max
PARAM_VALUE 1 val 0-4294967294
DATA_SOURCE 0 rpdev $0
DATA_SOURCE 1 val $1
TASK_NOT_RUNNING
HALF_LOCKED2 &eptdev->ept_lock

drivers/rpmsg/virtio_rpmsg_bus.c rpmsg_send_offchannel_raw() -> cpu_to_rpmsg32()

Type Parameter Key Value
PARAM_VALUE 0 rpdev 0,4096-ptr_max
PARAM_VALUE 1 val 0-4294967294
DATA_SOURCE 0 rpdev $0
DATA_SOURCE 1 val $2
TASK_NOT_RUNNING
HALF_LOCKED2 &eptdev->ept_lock

drivers/rpmsg/virtio_rpmsg_bus.c virtio_rpmsg_announce_create() -> cpu_to_rpmsg32()

Type Parameter Key Value
PARAM_VALUE 0 rpdev 4096-ptr_max
PARAM_VALUE 0 rpdev->announce 1
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->id.driver_data 0-2,4096-18446744073709547520
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
DATA_SOURCE 0 rpdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/rpmsg/virtio_rpmsg_bus.c virtio_rpmsg_announce_create() -> cpu_to_rpmsg32()

Type Parameter Key Value
PARAM_VALUE 0 rpdev 4096-ptr_max
PARAM_VALUE 0 rpdev->announce 1
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->id.driver_data 0-2,4096-18446744073709547520
PARAM_VALUE 0 rpdev->ops 4096-ptr_max
PARAM_VALUE 0 rpdev->ops->announce_create 5370195146225696768,5526124766288072704,6947865422077628416
PARAM_VALUE 1 val 0
BUF_SIZE 0 rpdev->ept (-1),208
DATA_SOURCE 0 rpdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/rpmsg/virtio_rpmsg_bus.c virtio_rpmsg_announce_destroy() -> cpu_to_rpmsg32()

Type Parameter Key Value
PARAM_VALUE 0 rpdev 4096-ptr_max
PARAM_VALUE 0 rpdev->announce 1
PARAM_VALUE 0 rpdev->ept 4096-ptr_max
PARAM_VALUE 0 rpdev->ops 4096-ptr_max
PARAM_VALUE 0 rpdev->ops->announce_destroy 1012780546423975936
DATA_SOURCE 0 rpdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/rpmsg/virtio_rpmsg_bus.c virtio_rpmsg_announce_destroy() -> cpu_to_rpmsg32()

Type Parameter Key Value
PARAM_VALUE 0 rpdev 4096-ptr_max
PARAM_VALUE 0 rpdev->announce 1
PARAM_VALUE 0 rpdev->ept 4096-ptr_max
PARAM_VALUE 0 rpdev->ops 4096-ptr_max
PARAM_VALUE 0 rpdev->ops->announce_destroy 1012780546423975936
PARAM_VALUE 1 val 1
DATA_SOURCE 0 rpdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex