irq 20: nobody cared (try booting with the "irqpoll" option) CPU: 3 PID: 0 Comm: swapper/3 Tainted: G OE 4.9.5-200.fc25.x64_64 #1 Hardware name: innotek GmbH VirtualBox/VirtualBox, BIOS VirtualBox 12/01/2006 ffff9bf8dfd83d48 ffffffffb33f40bd ffff9bf8d204b600 ffff9bf8d204b69c ffff9bf8dfd83d78 ffffffffb3102725 ffff9bf8d204b600 0000000000000000 ffff9bf8d204b600 0000000000000061 ffff9bf8dfd83db0 ffffffffb3102aa4 Call Trace: [] dump_stack+0x63/0x86 [] __report_bad_irq+0x35/0xc0 [] note_interrupt+0x234/0x270 [] handle_irq_event_percpu+0x54/0x80 [] handle_irq_event+0x2c/0x50 [] handle_fasteoi_irq+0x73/0x120 [] handle_irq+0x73/0x120 [] ? irqtime_account_irq+0x39/0x80 [] do_IRQ+0x4b/0xd0 [] common_interrupt+0x8c/0x8c [] ? __do_softirq+0x78/0x2a2 [] ? __do_softirq+0x4d/0x2a2 [] ? sched_clock+0x9/0x10 [] ? sched_clock_cpu+0x99/0xb0 [] irq_exit+0xff/0x110 [] smp_apic_timer_interrupt+0x42/0x50 [] apic_timer_interrupt+0x8c/0xa0 [] ? native_safe_halt+0x6/0x10 [] default_idle+0x20/0xd0 [] arch_cpu_idle+0xf/0x20 [] default_idle_call+0x23/0x30 [] cpu_startup_entry+0x1d0/0x240 [] start_secondary+0x154/0x190 handlers: [] usb_hcd_irq [] vgdrvLinuxISR [vboxguest] Disabling IRQ #20