Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/serio/libps2.c ps2_handle_ack() -> (struct ps2dev)->receive_handler()

Type Parameter Key Value
PARAM_VALUE 0 ps2dev 4096-ptr_max
PARAM_VALUE 1 data 0-249,251-253,255
BUF_SIZE 0 ps2dev s32min-(-2),1-s32max
BUF_SIZE 0 ps2dev s32min-(-2),1-s32max
DATA_SOURCE 0 ps2dev $0
DATA_SOURCE 1 data $1
CONTAINER 0 -280+0 $(-1)
BIT_INFO 0 ps2dev->flags 0x21,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 0,3-4,252
USER_DATA 1 data 0,3-4,252
LOCK2 &serio->lock
LOCK2 irq
TYPE_LOCK (struct serio)->lock

drivers/input/serio/libps2.c ps2_interrupt() -> (struct ps2dev)->receive_handler()

Type Parameter Key Value
PARAM_VALUE 0 ps2dev 4096-ptr_max
BUF_SIZE 0 ps2dev s32min-(-2),1-s32max
BUF_SIZE 0 ps2dev s32min-(-2),1-s32max
DATA_SOURCE 1 data $1
CONTAINER 0 -280+0 $(-1)
BIT_INFO 0 ps2dev->flags 0x0,0xfffffffffffffffc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 0-255
USER_DATA 1 data 0-255
LOCK2 &serio->lock
LOCK2 irq
TYPE_LOCK (struct serio)->lock