area, time_val.tv_sec, time_val.tv_usec, level, 
area, time_spec.tv_sec, time_spec.tv_nsec / 1000, level, 
debug_dflt_header_fn(debug_info_t * id, struct debug_view *view,			 int area, debug_entry_t * entry, char *out_buf){	struct timeval time_val;	unsigned long long time;	char *except_str;	unsigned long caller;	int rc = 0;	unsigned int level;	level = entry->id.fields.level;	time = entry->id.stck;	/* adjust todclock to 1970 */	time -= 0x8126d60e46000000LL - (0x3c26700LL * 1000000 * 4096);	tod_to_timeval(time, &time_val);	if (entry->id.fields.exception)		except_str = "*";	else		except_str = "-";	caller = ((unsigned long) entry->caller) & PSW_ADDR_INSN;	rc += sprintf(out_buf, "%02i %011lu:%06lu %1u %1s %02i %p  ",		      area, time_val.tv_sec, time_val.tv_usec, level,		      except_str, entry->id.fields.cpuid, (void *) caller);	return rc;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/942eaabd5d77522223a311ed9bddaaa3cefde27d/debug.c/buggy/arch/s390/kernel/debug.c