Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-dev.c __video_register_device() -> devnode_clear()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->num 0-64
PARAM_VALUE 0 vdev->vfl_type 0-5
BUF_SIZE 0 vdev (-1),2096
BUF_SIZE 0 vdev (-1),2096
BUF_SIZE 0 vdev->cdev 0,288
BUF_SIZE 0 vdev->cdev->ops (-1),272
BUF_SIZE 0 vdev->fops (-1),80
BUF_SIZE 0 vdev->prio (-1),16
CAPPED_DATA 0 vdev->index 1
CAPPED_DATA 0 vdev->minor 1
CAPPED_DATA 0 vdev->num 1
CAPPED_DATA 0 vdev->v4l2_dev 1
DATA_SOURCE 0 vdev $0
BIT_INFO 0 vdev->minor 0x0,0x1ff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vdev->cdev->count
LOCK2 global &videodev_lock

drivers/media/v4l2-core/v4l2-dev.c v4l2_device_release() -> devnode_clear()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
CAPPED_DATA 0 vdev 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &videodev_lock