Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/v4l2-core/v4l2-device.c v4l2_device_unregister_subdev() -> (struct v4l2_subdev_internal_ops)->unregistered()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sd->devnode->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sd->devnode->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sd->internal_ops 4096-ptr_max
PARAM_VALUE 0 sd->internal_ops->unregistered 1-u64max
PARAM_VALUE 0 sd->v4l2_dev 4096-ptr_max
PARAM_VALUE 0 sd->v4l2_dev->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd->ctrl_handler (-1),328
BUF_SIZE 0 sd->dev (-1),1616
BUF_SIZE 0 sd->entity.ops (-1),32
BUF_SIZE 0 sd->fwnode (-1)-0,64
BUF_SIZE 0 sd->internal_ops (-1),48
BUF_SIZE 0 sd->state_lock (-1),152
DATA_SOURCE 0 sd $0
STR_LEN 0 sd->name (-1),51
CONTAINER 0 -16-168+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 sd->v4l2_dev->ref.refcount.refs.counter s32min-s32max
NO_OVERFLOW_SIMPLE 0 sd->ctrl_handler->nr_of_buckets
NO_OVERFLOW_SIMPLE 0 sd->entity.num_pads
NO_OVERFLOW_SIMPLE 0 sd->privacy_led->blink_brightness
NO_OVERFLOW_SIMPLE 0 sd->privacy_led->blink_delay_off
NO_OVERFLOW_SIMPLE 0 sd->privacy_led->blink_delay_on
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &list_lock
HALF_LOCKED2 global &saa7134_devlist_lock