00:25:53 <rzezeski> jbk: it's an interrupt for one of the chelsio NICs, and I initially kind of looked past it because it didn't seem interesting, but now I realized it's an error interrupt, which I don't think we often see, so that's fun
00:29:09 <rzezeski> so maybe I had some transient hardware failure, or maybe IRM did something screwy
02:23:25 <jbk> i'm wondering if there's a timing bit there -- apix_wait_till_seen() appears to spin until there's no active or pending interrupts on the cpu
02:25:23 <jbk> so maybe that interrupt hit at the wrong time
02:25:36 <jbk> but the fact that cpu hadn't switched for so long does seem problematic