Lines Matching defs:pending
152 void vgic_irq_set_phys_pending(struct vgic_irq *irq, bool pending)
156 pending));
189 * Based on the current state of the interrupt (enabled, pending,
204 * If the IRQ is not active but enabled and pending, we should direct
206 * If the distributor is disabled, pending interrupts shouldn't be
217 /* If neither active nor pending and enabled, then this IRQ should not
269 /* Both pending and enabled, sort by priority */
330 * Otherwise, if the irq is not pending and enabled, it does
354 * we are going to insert this new pending interrupt.
367 * 1) The irq lost its pending state or was disabled behind our
516 * Reset the active and pending states of a mapped interrupt. Kernel
888 * If there are no virtual interrupts active or pending for this
944 bool pending = false;
960 pending = irq_is_pending(irq) && irq->enabled &&
965 if (pending)
971 return pending;
1015 * or we simply need to process the still pending interrupt later.
1017 * We could also have entered the guest with the interrupt active+pending.
1018 * On the next exit, we need to re-evaluate the pending state, as it could
1020 * stale pending state.