Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/input/input.c input_dev_freeze() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->num_vals 0-4294967294
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 code 0
PARAM_VALUE 3 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &dev->event_lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input.c input_dev_release_keys() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 1 type 1
PARAM_VALUE 2 code 0-64
PARAM_VALUE 3 value 0
CAPPED_DATA 2 code 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 code r find_next_bit
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->max_vals
UNITS 0 dev unit_byte
LOCK2 irq
LOCK2 0 &dev->event_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input.c input_dev_suspend() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->num_vals 0-4294967294
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 code 0
PARAM_VALUE 3 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &dev->event_lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input.c input_disconnect_device() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->going_away 1
PARAM_VALUE 0 dev->num_vals 0-4294967294
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 code 0
PARAM_VALUE 3 value 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &dev->event_lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input.c input_event() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 type 0-31
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 type $1
DATA_SOURCE 2 code $2
DATA_SOURCE 3 value $3
HARD_MAX 1 type 31
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &dev->event_lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input.c input_inhibit_device() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->going_away 0
PARAM_VALUE 0 dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 0 dev->inhibited 0
PARAM_VALUE 0 dev->mt 0,4096-ptr_max
PARAM_VALUE 0 dev->num_vals 0-4294967294
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 code 0
PARAM_VALUE 3 value 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &dev->event_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct input_dev)->event_lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/input/input.c input_inject_event() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->grab 0,4096-ptr_max
PARAM_VALUE 1 type 0-31
DATA_SOURCE 1 type $1
DATA_SOURCE 2 code $2
DATA_SOURCE 3 value $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 type 0-31
USER_DATA 2 code 0-u16max
USER_DATA 3 value s32min-s32max
UNITS 3 value unit_array_size
LOCK2 irq
LOCK2 rcu_read
LOCK2 0 &dev->event_lock
HALF_LOCKED2 &evdev->mutex
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input.c input_repeat_key() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->inhibited 0
PARAM_VALUE 0 dev->key 4096-ptr_max
PARAM_VALUE 0 dev->repeat_key 0-767
PARAM_VALUE 1 type 1
PARAM_VALUE 2 code 0-767
PARAM_VALUE 3 value 2
HARD_MAX 0 dev->repeat_key 767
HARD_MAX 2 code 767
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &dev->event_lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input.c input_repeat_key() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->inhibited 0
PARAM_VALUE 0 dev->key 4096-ptr_max
PARAM_VALUE 0 dev->mt->slot 0-2147483646
PARAM_VALUE 0 dev->num_vals 0-4294967294
PARAM_VALUE 1 type 0
PARAM_VALUE 2 code 0
PARAM_VALUE 3 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &dev->event_lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input.c input_reset_device() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->num_vals 0-4294967294
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 0
PARAM_VALUE 2 code 0
PARAM_VALUE 3 value 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->max_vals
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &dev->event_lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input-mt.c __input_mt_drop_unused() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
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->mt 4096-ptr_max
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 3
PARAM_VALUE 2 code 47
PARAM_VALUE 3 value 0-s32max
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev->phys (-1),9
CAPPED_DATA 3 value 1
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->phys (-1),8
CONSTRAINT 3 value <3204
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->max_vals
LOCK2 irq
LOCK2 0 &dev->event_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input-mt.c __input_mt_drop_unused() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
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->mt 4096-ptr_max
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 3
PARAM_VALUE 2 code 57
PARAM_VALUE 3 value (-1)
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev->phys (-1),9
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->phys (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->max_vals
LOCK2 irq
LOCK2 0 &dev->event_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/input-mt.c input_mt_release_slots() -> input_handle_event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->absbit 4096-ptr_max
PARAM_VALUE 0 dev->going_away 0
PARAM_VALUE 0 dev->inhibited 0
PARAM_VALUE 0 dev->mt 4096-ptr_max
PARAM_VALUE 0 dev->num_vals 0-4294967294
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 3
PARAM_VALUE 2 code 24
PARAM_VALUE 3 value 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &dev->event_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct input_dev)->event_lock
TYPE_LOCK (struct kernfs_open_file)->mutex