I8042_RESET_NEVER 1199 drivers/input/serio/i8042-x86ia64io.h i8042_reset = I8042_RESET_NEVER; I8042_RESET_NEVER 68 drivers/input/serio/i8042.c *arg = reset ? I8042_RESET_ALWAYS : I8042_RESET_NEVER;