K 10 svn:author V 6 marcel K 8 svn:date V 27 2014-07-02T23:33:07.062806Z K 7 svn:log V 80 MFC r263253: Don't use the ITC as the faulting address for external interrupts. END