I8042_RESET_DEFAULT 1194 drivers/input/serio/i8042-x86ia64io.h if (i8042_reset == I8042_RESET_DEFAULT) { I8042_RESET_DEFAULT 53 drivers/input/serio/i8042.c static enum i8042_controller_reset_mode i8042_reset = I8042_RESET_DEFAULT;