Symbol: I8042_RESET_NEVER
drivers/input/serio/i8042-acpipnpio.h
1754
i8042_reset = I8042_RESET_NEVER;
drivers/input/serio/i8042.c
74
*arg = reset ? I8042_RESET_ALWAYS : I8042_RESET_NEVER;