x86: Factor out irq_dispatch() from handle_irq()
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Feb 2016 16:54:59 +0000 (11:54 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Feb 2016 22:43:52 +0000 (17:43 -0500)
commite896c00cb3f6a56046b045659ff44d2fb5eaeca1
treef0c1cfeeb93dbe1c213572462afe9a475cb59c0f
parent1f9a9198bebc2b7e74955f8cf365e7a85a82f131
x86: Factor out irq_dispatch() from handle_irq()

I'll need to call irq_dispatch() when VMs exit due to external interrupts.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/trap.c