Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/input/input.c input_close_device() -> (struct input_dev)->close()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->close 1-u64max
PARAM_VALUE 0 dev->inhibited 0
PARAM_VALUE 0 dev->poller 0,4096-ptr_max
PARAM_VALUE 0 dev->poller->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 dev->ready 0
PARAM_VALUE 0 dev->users 0
CONTAINER 0 -512+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &evdev->mutex
HALF_LOCKED2 &joydev->mutex
HALF_LOCKED2 &mousedev->mutex

drivers/input/input.c input_inhibit_device() -> (struct input_dev)->close()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->close 1-u64max
PARAM_VALUE 0 dev->going_away 0
PARAM_VALUE 0 dev->inhibited 0
PARAM_VALUE 0 dev->poller 0,4096-ptr_max
PARAM_VALUE 0 dev->poller->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 dev->ready 0
PARAM_VALUE 0 dev->users 1-u32max
DATA_SOURCE 0 dev $0
CONTAINER 0 -512+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

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

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