Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/radio/radio-miropcm20.c pcm20_init() -> pcm20_setfreq()

Type Parameter Key Value
PARAM_VALUE 0 dev 3628963105982275584
PARAM_VALUE 0 dev->aci 4168736603724013568
PARAM_VALUE 0 dev->aci->aci_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->aci->aci_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->aci->aci_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->aci->aci_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->aci->aci_port 836,852
PARAM_VALUE 0 dev->audmode 1
PARAM_VALUE 0 dev->ctrl_handler._lock.dep_map->name 0-255
PARAM_VALUE 0 dev->ctrl_handler._lock.first_waiter 0
PARAM_VALUE 0 dev->ctrl_handler._lock.magic 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler._lock.owner.counter 0
PARAM_VALUE 0 dev->ctrl_handler.buckets 0,16,4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.ctrl_refs.next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.ctrl_refs.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.ctrl_refs.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.ctrl_refs.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.ctrls.next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.ctrls.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.ctrls.prev->next 16,4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.ctrls.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.lock 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.lock->first_waiter->list.next 5159360019465732096
PARAM_VALUE 0 dev->ctrl_handler.lock->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->ctrl_handler.lock->first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->ctrl_handler.nr_of_buckets 1
PARAM_VALUE 0 dev->ctrl_handler.req_obj.completed 0
PARAM_VALUE 0 dev->ctrl_handler.req_obj.kref.refcount.refs.counter 1
PARAM_VALUE 0 dev->ctrl_handler.req_obj.list.next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.req_obj.list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.req_obj.list.prev 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.req_obj.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.req_obj.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.req_obj.ops 0
PARAM_VALUE 0 dev->ctrl_handler.req_obj.priv 0
PARAM_VALUE 0 dev->ctrl_handler.req_obj.req 0
PARAM_VALUE 0 dev->ctrl_handler.request_is_queued 0
PARAM_VALUE 0 dev->ctrl_handler.requests.next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests.prev 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests_queued.next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests_queued.next->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests_queued.prev 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests_queued.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ctrl_handler.requests_queued.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->lock.first_waiter 0
PARAM_VALUE 0 dev->lock.magic 4096-ptr_max
PARAM_VALUE 0 dev->lock.osq.tail.counter 0
PARAM_VALUE 0 dev->lock.owner.counter 0
PARAM_VALUE 0 dev->rds_ms 0,4096-ptr_max
PARAM_VALUE 0 dev->rds_ps_name 0,4096-ptr_max
PARAM_VALUE 0 dev->rds_pty 0,4096-ptr_max
PARAM_VALUE 0 dev->rds_radio_test 0,4096-ptr_max
PARAM_VALUE 0 dev->rds_ta 0,4096-ptr_max
PARAM_VALUE 0 dev->rds_tp 0,4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler 3628963105982277872
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->_lock.magic 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->buckets 0,16,4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->ctrl_refs.next 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->ctrls.next 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->lock 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->nr_of_buckets 1
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->req_obj.kref.refcount.refs.counter 1
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->req_obj.list.next 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->req_obj.list.prev 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->req_obj.ops 0
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->req_obj.req 0
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->requests.next 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->requests.prev 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->requests_queued.next 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.ctrl_handler->requests_queued.prev 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.dev 0
PARAM_VALUE 0 dev->v4l2_dev.ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->v4l2_dev.subdevs.next 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.subdevs.next->next 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.subdevs.prev 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.subdevs.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->v4l2_dev.subdevs.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->vdev.dev.driver_data 3628963105982275584
PARAM_VALUE 0 dev->vdev.device_caps 327936
PARAM_VALUE 0 dev->vdev.fops 5619733487610728448
PARAM_VALUE 0 dev->vdev.ioctl_ops 6407131828926898176
PARAM_VALUE 0 dev->vdev.lock 3628963105982278280
PARAM_VALUE 0 dev->vdev.lock->first_waiter 0
PARAM_VALUE 0 dev->vdev.lock->magic 4096-ptr_max
PARAM_VALUE 0 dev->vdev.lock->osq.tail.counter 0
PARAM_VALUE 0 dev->vdev.lock->owner.counter 0
PARAM_VALUE 0 dev->vdev.release 823504710178533376
PARAM_VALUE 0 dev->vdev.v4l2_dev 3628963105982275584
PARAM_VALUE 0 dev->vdev.v4l2_dev->ctrl_handler 3628963105982277872
PARAM_VALUE 0 dev->vdev.v4l2_dev->dev 0
PARAM_VALUE 0 dev->vdev.v4l2_dev->ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->vdev.v4l2_dev->subdevs.next 4096-ptr_max
PARAM_VALUE 0 dev->vdev.v4l2_dev->subdevs.prev 4096-ptr_max
BUF_SIZE 0 dev 2848
BUF_SIZE 0 dev->aci 192
BUF_SIZE 0 dev->rds_ms (-1),248-s32max
BUF_SIZE 0 dev->rds_ps_name (-1),248-s32max
BUF_SIZE 0 dev->rds_pty (-1),248-s32max
BUF_SIZE 0 dev->rds_radio_test (-1),248-s32max
BUF_SIZE 0 dev->rds_ta (-1),248-s32max
BUF_SIZE 0 dev->rds_tp (-1),248-s32max
BUF_SIZE 0 dev->vdev.fops 80
BUF_SIZE 0 dev->vdev.ioctl_ops 960
BUF_SIZE 0 dev->vdev.lock 152
BUF_SIZE 0 dev->vdev.v4l2_dev 192
NOCHECK_CALL
UNITS 1 freq unit_byte

drivers/media/radio/radio-miropcm20.c vidioc_s_frequency() -> pcm20_setfreq()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->freq 1392000-1728000
PARAM_VALUE 1 freq 1392000-1728000
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
NOCHECK_CALL
USER_DATA 0 dev->freq 1392001-1727999[u]
USER_DATA 1 freq 1392001-1727999[u]
UNITS 1 freq unit_byte
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock