From Jay Estabrook <Jay.Estabrook@compaq.com>:

Make PS/2 mouse work again on JENSEN.

include/asm-alpha/jensen.h

@@ -7,9 +7,6 @@
  * Defines for the AlphaPC EISA IO and memory address space.
  */
 
-/* The Jensen is strange */
-#define AUX_IRQ (9)
-
 /*
  * NOTE! The memory operations do not set any memory barriers, as it's
  * not needed for cases like a frame buffer that is essentially memory-like.

include/asm-alpha/keyboard.h

@@ -60,7 +60,8 @@ extern unsigned char pckbd_sysrq_xlate[128];
  * Machine specific bits for the PS/2 driver
  */
 
-#define AUX_IRQ 12
+/* Jensen puts this at 9, everyone else at the standard 12.  */
+#define AUX_IRQ  (RTC_PORT(0) == 0x170 ? 9 : 12)
 
 #define aux_request_irq(hand, dev_id)                                  \
        request_irq(AUX_IRQ, hand, SA_SHIRQ, "PS/2 Mouse", dev_id)