--- arch/alpha/kernel/sys_titan.c.orig	2007-04-19 21:22:25.000000000 -0400
+++ arch/alpha/kernel/sys_titan.c	2007-04-19 20:23:37.000000000 -0400
@@ -257,7 +257,7 @@
 	 */
 	while (mask) {
 		/* convert to SRM vector... priority is <63> -> <0> */
-		__asm__("ctlz %1, %0" : "=r"(vector) : "r"(mask));
+		__asm__(".arch ev6;ctlz %1, %0" : "=r"(vector) : "r"(mask));
 		vector = 63 - vector;
 		mask &= ~(1UL << vector);	/* clear it out 	 */
 		vector = 0x900 + (vector << 4);	/* convert to SRM vector */