dev/arm/gic_v3.cc

174 Gicv3::sendInt(uint32_t int_id)
176     panic_if(int_id < Gicv3::SGI_MAX + Gicv3::PPI_MAX, "Invalid SPI!");
177     panic_if(int_id >= Gicv3::INTID_SECURE, "Invalid SPI!");
178     DPRINTF(Interrupt, "Gicv3::sendInt(): received SPI %d\n", int_id);
179     distributor->sendInt(int_id);
189 Gicv3::sendPPInt(uint32_t int_id, uint32_t cpu)
192     panic_if(int_id < Gicv3::SGI_MAX, "Invalid PPI!");
193     panic_if(int_id >= Gicv3::SGI_MAX + Gicv3::PPI_MAX, "Invalid PPI!");
195             int_id, cpu);
196     redistributors[cpu]->sendPPInt(int_id);