id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
490	arm32 task kill message prints incorrect address.	Jan Vesely	Jiri Svoboda	"The message printed looks like this:
Task init:ns (18433999634432) killed due to an exception at program counter 0x00000000.
r0 =0x0000001f	r1 =0x00000000	r2 =0xf0006000	r3 =0x00000000
r4 =0x00000000	r5 =0x0001aedc	r6 =0x00000000	r7 =0x00000000
r8 =0x00000000	r9 =0x0001b2dc	r10=0x00000000	fp =0x7fffffe4
r12=0x00000001	sp =0x7fffff98	lr =0x000010bc	spsr=0x60000050
0x7fffffe4: 0x000010c4()

note the task ID and program counter: 18433999634432 = 0x10c400000000
Looks like problem with printf in:
kernel/generic/src/interrupt/interrupt.c:170"	defect	closed	minor	0.6.0	helenos/kernel/arm32	mainline	fixed