Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/serio/libps2.c ps2_handle_ack() -> ps2_handle_response()

Type Parameter Key Value
PARAM_VALUE 0 ps2dev 4096-ptr_max
PARAM_VALUE 0 ps2dev->flags 0,2-u64max
PARAM_VALUE 0 ps2dev->nak 0
PARAM_VALUE 1 data 0,3-4,252
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
BIT_INFO 0 ps2dev->flags 0x0,0xfffffffffffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 0,3-4,252
USER_DATA 1 data 0,3-4,252
UNITS 0 ps2dev unit_byte
LOCK2 &serio->lock
LOCK2 irq
TYPE_LOCK (struct serio)->lock

drivers/input/serio/libps2.c ps2_interrupt() -> ps2_handle_response()

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
BIT_INFO 0 ps2dev->flags 0x2,0xfffffffffffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 0-255
USER_DATA 1 data 0-255
UNITS 0 ps2dev unit_byte
LOCK2 &serio->lock
LOCK2 irq
TYPE_LOCK (struct serio)->lock