Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/serio/i8042.c i8042_check_aux() -> __i8042_command()

Type Parameter Key Value
PARAM_VALUE 0 param 3794002364922167296
PARAM_VALUE 0 *param 165
PARAM_VALUE 1 command 4307
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &i8042_lock
LOCK2 irq

drivers/input/serio/i8042.c i8042_command() -> __i8042_command()

Type Parameter Key Value
PARAM_VALUE 1 command 144-147,167-168,255,288,425-426,4185,4192,4240-4243,4247,4293,4305,4308,4563
DATA_SOURCE 0 param $0
DATA_SOURCE 1 command $1
FUZZY_MAX 1 command 4308
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *param 0-255
USER_PTR 0 param
LOCK2 global &i8042_lock
LOCK2 irq
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &i8042_mutex