marcel 0e3b166e70 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.
2014-03-16 21:57:05 +00:00
..
2013-11-29 20:14:26 +00:00
2014-03-14 02:58:48 +00:00
2014-03-14 06:29:43 +00:00
2014-03-14 06:29:43 +00:00
2014-02-06 13:28:06 +00:00
2014-03-13 18:11:42 +00:00
2014-03-14 06:29:43 +00:00