x86/IRQ: ACKTYPE_NONE cannot make it into irq_guest_eoi_timer_fn()
authorJan Beulich <jbeulich@suse.com>
Thu, 6 Jun 2019 14:05:27 +0000 (16:05 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 6 Jun 2019 14:05:27 +0000 (16:05 +0200)
commitc22c073d39dee841a3d2f3ae9a1e957404c3af80
tree0f4545e847bcdf78e203033d2656594471c0be99
parenta646da4a3d96b7666a3ed99521f1e64dbedf19f9
x86/IRQ: ACKTYPE_NONE cannot make it into irq_guest_eoi_timer_fn()

action->ack_type is set once before the timer even gets initialized, and
is never changed later. The timer gets activated only for EOI and UNMASK
types. Hence there's no need to have a respective if() in there. Replace
it by an ASSERT().

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/irq.c