STCK(active->id.stck); 
active->id.stck = get_clock(); 
debug_finish_entry(debug_info_t * id, debug_entry_t* active, int level,			int exception){	STCK(active->id.stck);	active->id.fields.cpuid = smp_processor_id();	active->caller = __builtin_return_address(0);	active->id.fields.exception = exception;	active->id.fields.level     = level;	proceed_active_entry(id);	if(exception)		proceed_active_area(id);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/942eaabd5d77522223a311ed9bddaaa3cefde27d/debug.c/buggy/arch/s390/kernel/debug.c