Lines Matching defs:int_id
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);