K 10 svn:author V 6 marcel K 8 svn:date V 27 2014-03-17T04:38:10.629689Z K 7 svn:log V 231 In intr_event_handle() we already save and set td_intr_frame, so don't do it also in ia64_handle_intr(). With ia64_handle_intr() not saving and setting td_intr_frame, make sure to do it for timer interrupts in ia64_ih_hardclock(). END