Make sure ps2 port command reads are from the desired device.
authorKevin O'Connor <kevin@koconnor.net>
Sun, 4 Jan 2009 17:20:02 +0000 (12:20 -0500)
committerKevin O'Connor <kevin@koconnor.net>
Sun, 4 Jan 2009 17:20:02 +0000 (12:20 -0500)
commit0234cd90be8805b1951b4411de81314d27518eea
treec7149c6dc8313909b66935d3d34f4ca281fdfb1b
parent7bb3253a0545c551ff25cc66dddf914a6f4a2928
Make sure ps2 port command reads are from the desired device.

Discard reads from real-time events or from a different device.
Also, improve the kbd/mouse diagnostic messages.
src/kbd.c
src/mouse.c
src/ps2port.c