Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/serio/i8042.c i8042_filter() -> drivers/input/serio/i8042.c ptr i8042_platform_filter()

Type Parameter Key Value
DATA_SOURCE 0 data $0
DATA_SOURCE 1 str $1
DATA_SOURCE 2 port $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 data 0-255
HOST_DATA 1 str 0-255
LOCK2 global &i8042_lock
LOCK2 irq
HALF_LOCKED2 _T->lock