void oops_end(void) 
void oops_end(unsigned long flags) 
void oops_end(void){ 	die_owner = -1;	bust_spinlocks(0); 	spin_unlock(&die_lock); 	if (panic_on_oops)		panic("Oops"); } 
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1209140c3c70aaa32d1a0462d79557f2a44a4ef8/traps.c/buggy/arch/x86_64/kernel/traps.c