/* display the register file when the stack pointer gets clobbered  */
asmlinkage void do_double_fault(struct pt_regs *regs)
/* display the register file when the stack pointer gets clobbered  */
asmlinkage void do_double_fault(struct pt_regs *regs)
{
	struct task_struct *tsk = current;
	strcpy(tsk->comm, "emergency tsk");
	tsk->pid = 0;
	console_verbose();
	printk(KERN_EMERG "--- double fault ---\n");
	show_registers(regs);
}