======================================
| [  487.773963] secure_seq: tcp isn: 113694475
| [  487.773991] irq 25: nobody cared (try booting with the "irqpoll" option)
| [  487.774007] secure_seq: tcp isn: 1531280908
| [  487.774100] secure_seq: tcp isn: 1708773445
[  487.774131] Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS rel-1.16.3-0-ga6ed6b701f0a-prebuilt.qemu.org 04/01/2014
[  487.774211] secure_seq: tcp isn: 2804800950
[  487.774222] Call Trace:
[  487.774319] secure_seq: tcp isn: 64519080
[  487.774356]  <IRQ>
[  487.774378] secure_seq: tcp isn: 1916512342
[  487.774407] dump_stack_lvl (lib/dump_stack.c:123) 
[  487.774428] secure_seq: tcp isn: 3901791173
[  487.774464] __report_bad_irq (kernel/irq/spurious.c:214) 
[  487.774508] secure_seq: tcp isn: 3387720262
[  487.774528] note_interrupt (kernel/irq/spurious.c:423) 
[  487.774561] secure_seq: tcp isn: 1270110264
[  487.774593] handle_irq_event (kernel/irq/handle.c:198 kernel/irq/handle.c:210) 
[  487.774632] secure_seq: tcp isn: 65914630
[  487.774652] handle_edge_irq (kernel/irq/chip.c:833) 
[  487.774694] secure_seq: tcp isn: 312808797
[  487.774716] __common_interrupt (./include/linux/irqdesc.h:173 arch/x86/kernel/irq.c:247 arch/x86/kernel/irq.c:259 arch/x86/kernel/irq.c:285) 
[  487.774761] secure_seq: tcp isn: 1274013625
[  487.774779] common_interrupt (arch/x86/kernel/irq.c:278 (discriminator 14)) 
[  487.774813] secure_seq: tcp isn: 2791686395
[  487.774842]  </IRQ>
[  487.774876] secure_seq: tcp isn: 4222040192
[  487.774902]  <TASK>
[  487.774925] secure_seq: tcp isn: 1076808500
[  487.774955] asm_common_interrupt (./arch/x86/include/asm/idtentry.h:693) 
[  487.774987] secure_seq: tcp isn: 3328588404
[  487.775014] RIP: 0010:default_idle (./arch/x86/include/asm/irqflags.h:37 ./arch/x86/include/asm/irqflags.h:92 arch/x86/kernel/process.c:743) 
[  487.775044] secure_seq: tcp isn: 760588872
[ 487.775075] Code: 4c 01 c7 4c 29 c2 e9 72 ff ff ff 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 f3 0f 1e fa 66 90 0f 00 2d e3 09 28 00 fb f4 <fa> c3 cc cc cc cc 66 66 2e 0f 1f 84 00 00 00 00 00 90 90 90 90 90
All code
========
   0:	4c 01 c7             	add    %r8,%rdi
   3:	4c 29 c2             	sub    %r8,%rdx
   6:	e9 72 ff ff ff       	jmp    0xffffffffffffff7d
   b:	90                   	nop
   c:	90                   	nop
   d:	90                   	nop
   e:	90                   	nop
   f:	90                   	nop
  10:	90                   	nop
  11:	90                   	nop
  12:	90                   	nop
  13:	90                   	nop
  14:	90                   	nop
  15:	90                   	nop
  16:	90                   	nop
  17:	90                   	nop
  18:	90                   	nop
  19:	90                   	nop
  1a:	90                   	nop
  1b:	f3 0f 1e fa          	endbr64
  1f:	66 90                	xchg   %ax,%ax
  21:	0f 00 2d e3 09 28 00 	verw   0x2809e3(%rip)        # 0x280a0b
  28:	fb                   	sti
  29:	f4                   	hlt
  2a:*	fa                   	cli		<-- trapping instruction
  2b:	c3                   	ret
  2c:	cc                   	int3
  2d:	cc                   	int3
  2e:	cc                   	int3
  2f:	cc                   	int3
  30:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
  37:	00 00 00 00 
  3b:	90                   	nop
  3c:	90                   	nop
  3d:	90                   	nop
  3e:	90                   	nop
  3f:	90                   	nop

Code starting with the faulting instruction
===========================================
   0:	fa                   	cli
   1:	c3                   	ret
   2:	cc                   	int3
   3:	cc                   	int3
   4:	cc                   	int3
   5:	cc                   	int3
   6:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
   d:	00 00 00 00 
  11:	90                   	nop
  12:	90                   	nop
  13:	90                   	nop
  14:	90                   	nop
  15:	90                   	nop
[  487.775115] secure_seq: tcp isn: 1824240608
[  487.775140] RSP: 0018:ffffa820000c3ee8 EFLAGS: 00000242
[  487.775377] RAX: ffff8cf13ed80000 RBX: ffff8cf101302e00 RCX: 00000071a543fa00
[  487.775440] RDX: 0000000000000003 RSI: ffffffff8a283539 RDI: 0000000001b8d6e4
[  487.775503] RBP: 0000000000000003 R08: 0000000001b8d6e4 R09: 00000071a543fa00
[  487.775559] R10: 0000000000000001 R11: 0000000000000001 R12: 0000000000000000
[  487.775615] R13: 0000000000000000 R14: 0000000000000000 R15: 0000000000000000
[  487.775676] default_idle_call (./include/linux/cpuidle.h:144 kernel/sched/idle.c:118) 
[  487.775708] do_idle (kernel/sched/idle.c:186 kernel/sched/idle.c:326) 
[  487.775743] cpu_startup_entry (kernel/sched/idle.c:423 (discriminator 1)) 
[  487.775778] start_secondary (arch/x86/kernel/smpboot.c:314) 


Finger prints:
__report_bad_irq:note_interrupt:handle_irq_event:handle_edge_irq:__common_interrupt