Searched refs:vintid (Results 1 - 6 of 6) sorted by relevance
| /linux-master/include/kvm/ |
| H A D | arm_vgic.h | 115 bool (*get_input_level)(int vintid);
382 u32 vintid, struct irq_ops *ops);
383 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
384 int kvm_vgic_get_map(struct kvm_vcpu *vcpu, unsigned int vintid);
385 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
402 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
|
| /linux-master/include/linux/irqchip/ |
| H A D | arm-gic-v4.h | 90 * @vintid: Virtual LPI number
97 u32 vintid; member in struct:its_vlpi_map
|
| /linux-master/arch/arm64/kvm/vgic/ |
| H A D | vgic.c | 497 u32 vintid, struct irq_ops *ops)
499 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
516 * @vintid: The INTID of the interrupt
522 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid) argument
524 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
539 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid) argument
547 irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
558 int kvm_vgic_get_map(struct kvm_vcpu *vcpu, unsigned int vintid) argument
560 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
1004 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid) argument
496 kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, unsigned int host_irq, u32 vintid, struct irq_ops *ops) argument
[all...] |
| H A D | vgic-v4.c | 452 .vintid = irq->intid,
|
| /linux-master/arch/arm64/kvm/ |
| H A D | arch_timer.c | 52 static bool kvm_arch_timer_get_input_level(int vintid);
1485 static bool kvm_arch_timer_get_input_level(int vintid) argument
1496 if (timer_irq(ctx) == vintid)
1501 WARN_RATELIMIT(1, "timer INTID%d unknown\n", vintid);
|
| /linux-master/drivers/irqchip/ |
| H A D | irq-gic-v3-its.c | 1284 desc.its_vmapti_cmd.virt_id = map->vintid;
1430 hwirq = map->vintid;
1491 val |= FIELD_PREP(GICR_INVLPIR_INTID, map->vintid);
|
Completed in 297 milliseconds