printk("CPU %d:", smp_processor_id()); 
void show_regs(struct pt_regs *regs){	__show_regs(regs);	show_trace(&regs->rsp);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c078d3266e58a3edd698b9f143f78fc585679031/process.c/clean/arch/x86_64/kernel/process.c