arch/arm64/kvm/arm.c

1542

irq_num = vgic_v5_make_ppi(irq_num);

arch/arm64/kvm/sys_regs.c

752

u32 intid = vgic_v5_make_ppi(i);

arch/arm64/kvm/vgic/vgic-init.c

304

irq->intid = vgic_v5_make_ppi(i);

arch/arm64/kvm/vgic/vgic-v5.c

187

const u32 intid = vgic_v5_make_ppi(i);

arch/arm64/kvm/vgic/vgic-v5.c

305

u32 intid = vgic_v5_make_ppi(i);

arch/arm64/kvm/vgic/vgic-v5.c

347

u32 intid = vgic_v5_make_ppi(i);

arch/arm64/kvm/vgic/vgic-v5.c

380

u32 intid = vgic_v5_make_ppi(i);

arch/arm64/kvm/vgic/vgic-v5.c

417

u32 intid = vgic_v5_make_ppi(i);