Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mt 4096-ptr_max
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 mt 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &dev->event_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &serio->lock
HALF_LOCKED2 global &psmouse_mutex
TYPE_LOCK (struct input_dev)->event_lock

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

Type Parameter Key Value
PARAM_VALUE 0 dev 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 1 mt 4096-ptr_max
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-mt.c input_mt_sync_frame() -> __input_mt_drop_unused()

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->mt 4096-ptr_max
PARAM_VALUE 0 dev->mt->flags 4-u32max
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 mt 4096-ptr_max
PARAM_VALUE 1 mt->flags 4-u32max
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev->dev.parent (-1),1616
BUF_SIZE 0 dev->phys (-1),9
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->phys (-1),8
BIT_INFO 1 mt->flags 0x4,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->max_vals
LOCK2 irq
LOCK2 0 &dev->event_lock
TYPE_LOCK (struct input_dev)->event_lock