x86/vpic: also execute dpci callback for non-specific EOI
authorRoger Pau Monne <roger.pau@citrix.com>
Thu, 20 Aug 2020 15:16:27 +0000 (17:16 +0200)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 6 Oct 2020 11:28:37 +0000 (12:28 +0100)
commit93508595d588afe9dca087f95200effb7cedc81f
tree42031dd0b665c01154061639fb943448e2a9f1c3
parent7f66c0dc41ae5f770c614e516810eb1f336e2470
x86/vpic: also execute dpci callback for non-specific EOI

Currently the dpci EOI callback is only executed for specific EOIs.
This is wrong as non-specific EOIs will also clear the ISR bit and
thus end the interrupt. Re-arrange the code a bit so that the common
EOI handling path can be shared between all EOI modes.

Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/hvm/vpic.c