Then it gets set to 0xdf, but the computer still does nothing (no log message, etc.) when I press the key.
Then it gets set to 0xdf, but the computer still does nothing (no log message,
etc.) when I press the key.