how can i know what irq is using my /dev/mouse? i`m asking because i have a ps/2 one, and for what i read at the `bus mouse how-to` that type of device must and only use irq 12. since my mouse -under gpm- doesn`t work, i wonder if the irq is incorrectly set.
thanks in advance.