printk(KERN_EMERG "%s\n", msg); 
s390_handle_damage(char *msg){	printk(KERN_EMERG "%s\n", msg);#ifdef CONFIG_SMP	smp_send_stop();#endif	disabled_wait((unsigned long) __builtin_return_address(0));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/77fa22450de00d535de2cc8be653983560828000/s390mach.c/buggy/drivers/s390/s390mach.c