sys/arm64/vmm/io/vgic_v3.c

140

struct vgic_v3_irq private_irqs[VGIC_PRV_I_NUM];

sys/arm64/vmm/io/vgic_v3.c

1840

vgic->irqs = malloc((VGIC_NIRQS - VGIC_PRV_I_NUM) *

sys/arm64/vmm/io/vgic_v3.c

1843

for (i = 0; i < VGIC_NIRQS - VGIC_PRV_I_NUM; i++) {

sys/arm64/vmm/io/vgic_v3.c

1849

irq->irq = i + VGIC_PRV_I_NUM;

sys/arm64/vmm/io/vgic_v3.c

1861

for (i = 0; i < VGIC_NIRQS - VGIC_PRV_I_NUM; i++) {

sys/arm64/vmm/io/vgic_v3.c

1947

if (irqid < VGIC_PRV_I_NUM) {

sys/arm64/vmm/io/vgic_v3.c

1956

irqid -= VGIC_PRV_I_NUM;

sys/arm64/vmm/io/vgic_v3.c

2025

KASSERT(vcpuid == -1 || irqid < VGIC_PRV_I_NUM,

sys/arm64/vmm/io/vgic_v3.c

478

for (irqid = 0; irqid < VGIC_PRV_I_NUM; irqid++) {

sys/arm64/vmm/io/vgic_v3.c

545

for (irqid = 0; irqid < VGIC_PRV_I_NUM; irqid++) {

sys/arm64/vmm/io/vgic_v3.c

938

if (irq_base + i < VGIC_PRV_I_NUM)