dev/arm/gic_v3_redistributor.cc

505             bool pending = data & (1 << int_id) ? 1 : 0;
507             if (pending) {
510                         "pending bit set\n", int_id);
711             "int_id %d (PPI) pending bit set\n", int_id);
748             "int_id %d (SGI) pending bit set\n", int_id);
777  * Recalculate the highest priority pending interrupt after a
791                  * Multiple pending ints with same priority.
882     // Fetch the LPI pending entry from memory
909     // Fetch the LPI pending entry from memory
918             // corresponds to an LPI that is already pending.
926             // corresponds to an LPI that is not pending.
932         // Remove the pending state from the cpu interface