BUG_ON(irq > 256); 
asmlinkage unsigned int do_IRQ(struct pt_regs *regs){		/* high bits used in ret_from_ code  */	unsigned irq = regs->orig_rax & 0xff;	irq_enter();	BUG_ON(irq > 256);	__do_IRQ(irq, regs);	irq_exit();	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/24dead8ac9c8fa78b9bfb45b06080a7018fd2ed3/irq.c/clean/arch/x86_64/kernel/irq.c