Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/input.c input_dev_toggle() -> (struct input_dev)->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->evbit 4096-ptr_max
PARAM_VALUE 0 dev->event 1-u64max
PARAM_VALUE 0 dev->led 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->ready 1
PARAM_VALUE 1 type 17
PARAM_VALUE 2 code 0-15
PARAM_VALUE 3 value 0-1
CAPPED_DATA 2 code 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 code r find_next_bit
FUZZY_MAX 3 value 0
CONTAINER 0 -528+0 $(-1)
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.c input_dev_toggle() -> (struct input_dev)->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->evbit 4096-ptr_max
PARAM_VALUE 0 dev->event 1-u64max
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 dev->ready 1
PARAM_VALUE 0 dev->snd 4096-ptr_max
PARAM_VALUE 1 type 18
PARAM_VALUE 2 code 0-7
PARAM_VALUE 3 value 0-1
CAPPED_DATA 2 code 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 code r find_next_bit
FUZZY_MAX 3 value 0
CONTAINER 0 -528+0 $(-1)
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.c input_dev_toggle() -> (struct input_dev)->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->evbit 4096-ptr_max
PARAM_VALUE 0 dev->event 1-u64max
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 dev->ready 1
PARAM_VALUE 0 dev->rep 4096-ptr_max
PARAM_VALUE 1 type 20
PARAM_VALUE 2 code 1
DATA_SOURCE 0 dev $0
CONTAINER 0 -528+0 $(-1)
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.c input_dev_toggle() -> (struct input_dev)->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->evbit 4096-ptr_max
PARAM_VALUE 0 dev->event 1-u64max
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 dev->ready 1
PARAM_VALUE 0 dev->rep 4096-ptr_max
PARAM_VALUE 1 type 20
PARAM_VALUE 2 code 0
DATA_SOURCE 0 dev $0
CONTAINER 0 -528+0 $(-1)
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.c input_event_dispose() -> (struct input_dev)->event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->phys_limit 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->event 1-u64max
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 dev->ready 1
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 type 0-5,17-18,20-22
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev->phys (-1),9
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 type $2
DATA_SOURCE 2 code $3
DATA_SOURCE 3 value $4
STR_LEN 0 dev->phys (-1),8
CONTAINER 0 -528+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 type 0-5,17-18,20-22
USER_DATA 2 code 0-u16max
USER_DATA 3 value s32min-s32max
NO_OVERFLOW_SIMPLE 0 dev->max_vals
LOCK2 irq
LOCK2 0 &dev->event_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct input_dev)->event_lock

drivers/hid/hid-holtek-kbd.c holtek_kbd_input_event() -> (struct input_dev)->event()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 1 type $1
DATA_SOURCE 2 code $2
DATA_SOURCE 3 value $3
CONTAINER 0 *(-528+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 type 0-5,17-18,20-22
USER_DATA 2 code 0-u16max
USER_DATA 3 value s32min-s32max
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 irq