IRQ_PEND_EXT_SERVICE
(1UL << IRQ_PEND_EXT_SERVICE) | \
(1UL << IRQ_PEND_EXT_SERVICE) | \
set_bit(IRQ_PEND_EXT_SERVICE, &fi->pending_irqs);
clear_bit(IRQ_PEND_EXT_SERVICE, &fi->masked_irqs);
case IRQ_PEND_EXT_SERVICE:
set_bit(IRQ_PEND_EXT_SERVICE, &fi->pending_irqs);
if (test_bit(IRQ_PEND_EXT_SERVICE, &fi->pending_irqs) ||
__clear_bit(IRQ_PEND_EXT_SERVICE, &active_mask);
if (test_bit(IRQ_PEND_EXT_SERVICE, &fi->masked_irqs) ||
!(test_bit(IRQ_PEND_EXT_SERVICE, &fi->pending_irqs))) {
clear_bit(IRQ_PEND_EXT_SERVICE, &fi->pending_irqs);
set_bit(IRQ_PEND_EXT_SERVICE, &fi->masked_irqs);
set_bit(IRQ_PEND_EXT_SERVICE, &kvm->arch.float_int.masked_irqs);
clear_bit(IRQ_PEND_EXT_SERVICE, &kvm->arch.float_int.masked_irqs);
clear_bit(IRQ_PEND_EXT_SERVICE, &kvm->arch.float_int.masked_irqs);