dev/arm/gic_v3_redistributor.cc

63       irqPending(Gicv3::SGI_MAX + Gicv3::PPI_MAX, false),
259               value |= (irqPending[int_id] << int_id);
511                 irqPending[int_id] = true;
530                 irqPending[int_id] = false;
709     irqPending[int_id] = true;
746     irqPending[int_id] = true;
757     if (irqPending[int_id]) {
787         if (irqPending[int_id] && irqEnabled[int_id] &&
970     irqPending[int_id] = false;
1029     SERIALIZE_CONTAINER(irqPending);
1050     UNSERIALIZE_CONTAINER(irqPending);