dev/arm/gic_v3_distributor.cc

925         const uint32_t intid = bits(data, 9, 0);
926         if (isNotSPI(intid) || irqPending[intid] ||
927             (nsAccessToSecInt(intid, is_secure_access) &&
928              irqNsacr[intid] == 0)) {
932             sendInt(intid);
944         const uint32_t intid = bits(data, 9, 0);
945         if (isNotSPI(intid) || !irqPending[intid] ||
946             (nsAccessToSecInt(intid, is_secure_access) &&
947              irqNsacr[intid] < 2)) {
951             deassertSPI(intid);
962         const uint32_t intid = bits(data, 9, 0);
963         if (DS || isNotSPI(intid) || irqPending[intid] || !is_secure_access) {
967             sendInt(intid);
978         const uint32_t intid = bits(data, 9, 0);
979         if (DS || isNotSPI(intid) || !irqPending[intid] || !is_secure_access) {
983             deassertSPI(intid);
1081                 int_id < target_cpu_interface->hppi.intid)) {
1083                 target_cpu_interface->hppi.intid = int_id;