VGIC_NIRQS
typer |= howmany(VGIC_NIRQS + 1, 32) - 1;
vgic->irqs = malloc((VGIC_NIRQS - VGIC_PRV_I_NUM) *
for (i = 0; i < VGIC_NIRQS - VGIC_PRV_I_NUM; i++) {
for (i = 0; i < VGIC_NIRQS - VGIC_PRV_I_NUM; i++) {
if (irqid >= VGIC_NIRQS)