[ 3521.470956] Call Trace:
[ 3521.470957]  <IRQ>  [<ffffffff810aa2e8>] __report_bad_irq+0x38/0xd0
[ 3521.470964]  [<ffffffff810aa57c>] note_interrupt+0x15c/0x210
[ 3521.470965]  [<ffffffff810a80bf>] handle_irq_event_percpu+0xaf/0x200
[ 3521.470967]  [<ffffffff810a824c>] handle_irq_event+0x3c/0x60
[ 3521.470969]  [<ffffffff810aaf21>] handle_fasteoi_irq+0x71/0x110
[ 3521.470972]  [<ffffffff81004338>] handle_irq+0x58/0x140
[ 3521.470975]  [<ffffffff8169b055>] ? atomic_notifier_call_chain+0x15/0x20
[ 3521.470977]  [<ffffffff810010a3>] ? __exit_idle+0x33/0x40
[ 3521.470978]  [<ffffffff81003f98>] do_IRQ+0x58/0xe0
[ 3521.470980]  [<ffffffff816979ab>] common_interrupt+0x6b/0x6b
[ 3521.470981]  <EOI>  [<ffffffff813520f3>] ? acpi_idle_enter_bm+0x20a/0x24a
[ 3521.470987]  [<ffffffff813520ee>] ? acpi_idle_enter_bm+0x205/0x24a
[ 3521.470989]  [<ffffffff814c1963>] cpuidle_idle_call+0xd3/0x1a0
[ 3521.470991]  [<ffffffff8100126f>] cpu_idle+0x7f/0xb0
[ 3521.470994]  [<ffffffff8167d52d>] rest_init+0x6d/0x80
[ 3521.470996]  [<ffffffff81ca9b2e>] start_kernel+0x324/0x32f
[ 3521.470999]  [<ffffffff81ca9322>] x86_64_start_reservations+0x132/0x137
[ 3521.471001]  [<ffffffff81ca9418>] x86_64_start_kernel+0xf1/0xf8
[ 3521.471002] handlers:
[ 3521.471006] [<ffffffffa009f000>] mantis_irq_handler
[ 3521.471008] Disabling IRQ #19