[dole]

Holding down the Ctrl Alt Shift keys on both the left and right side on the keyboard for 3-5 seconds used to be a (low/BIOS-level?) keyboard reset, at least on Windows.