touch_nmi_watchdog(); 
void show_stack(struct task_struct *tsk, unsigned long * rsp){	unsigned long *stack;	int i;	const int cpu = safe_smp_processor_id();	unsigned long *irqstack_end = (unsigned long *) (cpu_pda[cpu].irqstackptr);	unsigned long *irqstack = (unsigned long *) (cpu_pda[cpu].irqstackptr - IRQSTACKSIZE);    	// debugging aid: "show_stack(NULL, NULL);" prints the	// back trace for this cpu.	if (rsp == NULL) {		if (tsk)			rsp = (unsigned long *)tsk->thread.rsp;		else			rsp = (unsigned long *)&rsp;	}	stack = rsp;	for(i=0; i < kstack_depth_to_print; i++) {		if (stack >= irqstack && stack <= irqstack_end) {			if (stack == irqstack_end) {				stack = (unsigned long *) (irqstack_end[-1]);				printk(" <EOI> ");			}		} else {		if (((long) stack & (THREAD_SIZE-1)) == 0)			break;		}		if (i && ((i % 4) == 0))			printk("\n       ");		printk("%016lx ", *stack++);	}	show_trace((unsigned long *)rsp);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/35faa71484287fc150b8498cd5acae59ad17a356/traps.c/clean/arch/x86_64/kernel/traps.c