VGIC_PRV_I_NUM
struct vgic_v3_irq private_irqs[VGIC_PRV_I_NUM];
vgic->irqs = malloc((VGIC_NIRQS - VGIC_PRV_I_NUM) *
for (i = 0; i < VGIC_NIRQS - VGIC_PRV_I_NUM; i++) {
irq->irq = i + VGIC_PRV_I_NUM;
for (i = 0; i < VGIC_NIRQS - VGIC_PRV_I_NUM; i++) {
if (irqid < VGIC_PRV_I_NUM) {
irqid -= VGIC_PRV_I_NUM;
KASSERT(vcpuid == -1 || irqid < VGIC_PRV_I_NUM,
for (irqid = 0; irqid < VGIC_PRV_I_NUM; irqid++) {
for (irqid = 0; irqid < VGIC_PRV_I_NUM; irqid++) {
if (irq_base + i < VGIC_PRV_I_NUM)