dev/arm/gic_v3.cc

68     panic_if(sys->numContexts() > params()->cpu_max,
110         panic_if(!distributor, "Distributor is null!");
147         panic_if(!distributor, "Distributor is null!");
176     panic_if(int_id < Gicv3::SGI_MAX + Gicv3::PPI_MAX, "Invalid SPI!");
177     panic_if(int_id >= Gicv3::INTID_SECURE, "Invalid SPI!");
191     panic_if(cpu >= redistributors.size(), "Invalid cpuID sending PPI!");
192     panic_if(int_id < Gicv3::SGI_MAX, "Invalid PPI!");
193     panic_if(int_id >= Gicv3::SGI_MAX + Gicv3::PPI_MAX, "Invalid PPI!");
231     panic_if(!redistRange.contains(addr),
237     panic_if(redistributor_id >= redistributors.size(),
239     panic_if(!redistributors[redistributor_id], "Redistributor is null!");