K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2014-03-16T21:57:05.452893Z
K 7
svn:log
V 154
Don't use the ITC as the faulting address for external interrupts.
We only use it for tracing and the KTR infrastructure will use ITC
for the time-stamp.

END