There were mice for the serial port, for PCs. So only lesser magic. (One "standard" mouse, like "bus mouse" or PS/2 mouse, and one serial, would have worked fine.)

If one mouse goes into the keyboard PS/2 keyboard connector (I think they were the same connector) then yes, very unusual magic.