Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/mousedev.c mousedev_generate_response() -> mousedev_packet()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 1 ps2_data 4096-ptr_max
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 1 ps2_data 5
DATA_SOURCE 0 client $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &client->packet_lock
TYPE_LOCK (struct mousedev_client)->packet_lock

drivers/input/mousedev.c mousedev_read() -> mousedev_packet()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->ready 1-255
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 0 client s32min-(-2),1-s32max
BUF_SIZE 1 ps2_data 6
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &client->packet_lock
TYPE_LOCK (struct mousedev_client)->packet_lock