PS/2 port problem

[walt]

On Sun, 28 Jan 2007, walt wrote:

>  Any ideas for debugging?

I cleverly read the code and then added PSM_DEBUG to my kernel.

Now I see this during boot:

 atkbdc0: <Keyboard controller (i8042)> at port 0x60,0x64 on isa0
 atkbd0: <AT Keyboard> irq 1 on atkbdc0
 kbd0 at atkbd0
 psm0: current command byte:0047
 psm0: failed to get data.
 psm0: <PS/2 Mouse> irq 12 on atkbdc0
 psm0: model Generic PS/2 mouse, device ID 0-00, 2 buttons
 psm0: config:00000000, flags:00000000, packet size:3
 psm0: syncmask:00, syncbits:00

And when moused starts up:
psm: status 00 02 64

And when attempting to re-start moused:
psm0: failed to enable the device (doopen).

Any ideas?