Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rpmsg/rpmsg_core.c rpmsg_create_channel() -> (struct rpmsg_device_ops)->create_channel()

Type Parameter Key Value
PARAM_VALUE 0 rpdev 4096-ptr_max
PARAM_VALUE 0 rpdev->ops 4096-ptr_max
PARAM_VALUE 0 rpdev->ops->create_channel 2319660559397552128
PARAM_VALUE 1 chinfo 3401803054223454208,8335686146727051264
DATA_SOURCE 0 rpdev $0
DATA_SOURCE 1 chinfo $1
CONTAINER 0 -0-1680+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 chinfo->dst 0-u32max
USER_DATA 1 chinfo->src 0-u32max
USER_PTR 1 chinfo->name
HALF_LOCKED2 &ctrldev->ctrl_lock