Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/rc/rc-main.c rc_close() -> (struct rc_dev)->close()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->close 1-u64max
PARAM_VALUE 0 rdev->lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rdev->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 rdev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rdev->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->lock.wait_lock.owner (-1)
PARAM_VALUE 0 rdev->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 rdev->registered 1
PARAM_VALUE 0 rdev->users 0
BUF_SIZE 0 rdev s32min-(-1),1-s32max
BUF_SIZE 0 rdev s32min-(-1),1-s32max
CAPPED_DATA 0 &rdev->lock 1
DATA_SOURCE 0 rdev $0
CONTAINER 0 -4352+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &rdev->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct rc_dev)->lock

drivers/media/rc/rc-main.c rc_unregister_device() -> (struct rc_dev)->close()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->close 1-u64max
PARAM_VALUE 0 rdev->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 rdev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 rdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 rdev->input_dev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 rdev->input_dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 rdev->input_dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 rdev->input_dev->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 rdev->input_dev->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 rdev->input_dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 rdev->input_dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 rdev->input_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 rdev->input_dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 rdev->input_dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 rdev->lirc_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 rdev->lirc_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 rdev->lirc_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 rdev->lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rdev->lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 rdev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rdev->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 rdev->lock.wait_lock.owner (-1)
PARAM_VALUE 0 rdev->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 rdev->timer_keyup.entry.pprev 0
PARAM_VALUE 0 rdev->timer_keyup.flags 0-4194302
PARAM_VALUE 0 rdev->timer_keyup.function 0
PARAM_VALUE 0 rdev->timer_repeat.entry.pprev 0
PARAM_VALUE 0 rdev->timer_repeat.flags 0-4194302
PARAM_VALUE 0 rdev->timer_repeat.function 0
PARAM_VALUE 0 rdev->users 1-u32max
BUF_SIZE 0 rdev (-1),4448
BUF_SIZE 0 rdev (-1),4448
BUF_SIZE 0 rdev->device_name (-1),9,11-12,27-28,35,38
BUF_SIZE 0 rdev->driver_name (-1),6-9,11-12
BUF_SIZE 0 rdev->input_phys (-1),11,16,18,64
BUF_SIZE 0 rdev->map_name s32min-(-1),1-s32max
BUF_SIZE 0 rdev->priv (-1),56,64,72,312,400,920
CAPPED_DATA 0 &rdev->lock 1
CAPPED_DATA 0 &rdev->timer_keyup 1
CAPPED_DATA 0 &rdev->timer_repeat 1
DATA_SOURCE 0 rdev $0
STR_LEN 0 rdev->device_name (-1),8,10-11,26-27,34,37
STR_LEN 0 rdev->driver_name (-1),5-8,10-11
STR_LEN 0 rdev->input_phys (-1),10,15,17
STR_LEN 0 rdev->map_name (-1),8,10
CONTAINER 0 -4352+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rdev->input_dev->max_vals
NO_OVERFLOW_SIMPLE 0 rdev->lirc_cdev.count
LOCK2 0 &rdev->lock
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 global &devlist
HALF_LOCKED2 global &em28xx_devlist_mutex
HALF_LOCKED2 global &g_smscore_deviceslock
TYPE_LOCK (struct rc_dev)->lock