Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/mouse/vmmouse.c vmmouse_report_events() -> vmmouse_report_button()

Type Parameter Key Value
PARAM_VALUE 0 psmouse 4096-ptr_max
PARAM_VALUE 0 psmouse->dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 0 psmouse->dev->mt->slot 0-2147483646
PARAM_VALUE 0 psmouse->dev->num_vals 0-4294967294
PARAM_VALUE 0 psmouse->pktcnt 0,3-255
PARAM_VALUE 0 psmouse->private 4096-ptr_max
PARAM_VALUE 0 psmouse->state 3-u32max
PARAM_VALUE 0 *psmouse->dev->rep 0-s32max
PARAM_VALUE 1 *abs_dev->rep s32min-s32max
PARAM_VALUE 2 rel_dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 2 rel_dev->mt->slot 0-2147483646
PARAM_VALUE 2 rel_dev->num_vals 0-4294967294
PARAM_VALUE 2 *rel_dev->rep 0-s32max
PARAM_VALUE 3 *pref_dev->rep s32min-s32max
PARAM_VALUE 4 code 272
PARAM_VALUE 5 value 0,32
DATA_SOURCE 0 psmouse $0
FUZZY_MAX 0 psmouse->state 4
BIT_INFO 5 value 0x0,0x20
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &serio->lock
HALF_LOCKED2 irq

drivers/input/mouse/vmmouse.c vmmouse_report_events() -> vmmouse_report_button()

Type Parameter Key Value
PARAM_VALUE 0 psmouse 4096-ptr_max
PARAM_VALUE 0 psmouse->dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 0 psmouse->dev->mt->slot 0-2147483646
PARAM_VALUE 0 psmouse->dev->num_vals 0-4294967294
PARAM_VALUE 0 psmouse->pktcnt 0,3-255
PARAM_VALUE 0 psmouse->private 4096-ptr_max
PARAM_VALUE 0 psmouse->state 3-u32max
PARAM_VALUE 0 *psmouse->dev->rep 0-s32max
PARAM_VALUE 1 abs_dev->key 4096-ptr_max
PARAM_VALUE 1 *abs_dev->rep s32min-s32max
PARAM_VALUE 2 rel_dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 2 rel_dev->mt->slot 0-2147483646
PARAM_VALUE 2 rel_dev->num_vals 0-4294967294
PARAM_VALUE 2 *rel_dev->rep 0-s32max
PARAM_VALUE 3 pref_dev->grab->private->inactivity_work.cpu s32min-s32max
PARAM_VALUE 3 pref_dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 3 pref_dev->mt->slot 0-2147483646
PARAM_VALUE 3 pref_dev->num_vals 0-4294967294
PARAM_VALUE 3 *pref_dev->rep 0-s32max
PARAM_VALUE 4 code 273
PARAM_VALUE 5 value 0,16
DATA_SOURCE 0 psmouse $0
FUZZY_MAX 0 psmouse->state 4
BIT_INFO 5 value 0x0,0x10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &serio->lock
HALF_LOCKED2 irq

drivers/input/mouse/vmmouse.c vmmouse_report_events() -> vmmouse_report_button()

Type Parameter Key Value
PARAM_VALUE 0 psmouse 4096-ptr_max
PARAM_VALUE 0 psmouse->dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 0 psmouse->dev->mt->slot 0-2147483646
PARAM_VALUE 0 psmouse->dev->num_vals 0-4294967294
PARAM_VALUE 0 psmouse->pktcnt 0,3-255
PARAM_VALUE 0 psmouse->private 4096-ptr_max
PARAM_VALUE 0 psmouse->state 3-u32max
PARAM_VALUE 0 *psmouse->dev->rep 0-s32max
PARAM_VALUE 1 abs_dev->key 4096-ptr_max
PARAM_VALUE 1 *abs_dev->rep s32min-s32max
PARAM_VALUE 2 rel_dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 2 rel_dev->mt->slot 0-2147483646
PARAM_VALUE 2 rel_dev->num_vals 0-4294967294
PARAM_VALUE 2 *rel_dev->rep 0-s32max
PARAM_VALUE 3 pref_dev->grab->private->inactivity_work.cpu s32min-s32max
PARAM_VALUE 3 pref_dev->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 3 pref_dev->mt->slot 0-2147483646
PARAM_VALUE 3 pref_dev->num_vals 0-4294967294
PARAM_VALUE 3 *pref_dev->rep 0-s32max
PARAM_VALUE 4 code 274
PARAM_VALUE 5 value 0,8
DATA_SOURCE 0 psmouse $0
FUZZY_MAX 0 psmouse->state 4
BIT_INFO 5 value 0x0,0x8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &serio->lock
HALF_LOCKED2 irq