 local_irq_disable(); 
do_entInt(unsigned long type, unsigned long vector,	  unsigned long la_ptr, struct pt_regs *regs){	switch (type) {	case 0:#ifdef CONFIG_SMP		handle_ipi(regs);		return;#else		irq_err_count++;		printk(KERN_CRIT "Interprocessor interrupt? "		       "You must be kidding!\n");#endif		break;	case 1:#ifdef CONFIG_SMP	  {		long cpu;		smp_percpu_timer_interrupt(regs);		cpu = smp_processor_id();		if (cpu != boot_cpuid) {		        kstat_cpu(cpu).irqs[RTC_IRQ]++;		} else {			handle_irq(RTC_IRQ, regs);		}	  }#else		handle_irq(RTC_IRQ, regs);#endif		return;	case 2:		alpha_mv.machine_check(vector, la_ptr, regs);		return;	case 3:		alpha_mv.device_interrupt(vector, regs);		return;	case 4:		perf_irq(la_ptr, regs);		return;	default:		printk(KERN_CRIT "Hardware intr %ld %lx? Huh?\n",		       type, vector);	}	printk(KERN_CRIT "PC = %016lx PS=%04lx\n", regs->pc, regs->ps);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4a89a04f1ee21a7c1f4413f1ad7dcfac50ff9b63/irq_alpha.c/buggy/arch/alpha/kernel/irq_alpha.c